Neka je F(x,y,z,...) funkcija algebre sudova. Svaka disjunkcija $$d_{i}(x,\neg x,y,\neg y,...)$$ sudova ili njihovih negacija koja ima svojstvo F(.)=0 kada je di(.)=0 zove se bazična disjunkcija zadane funkcije F.
» Rječnik pojmova - matematička logika