Neka je F(x,y,z,...) funkcija algebre sudova. Svaka disjunkcija $$k_{i}(x,\neg x,y,\neg y,...)$$  sudova ili njihovih negacija koja ima svojstvo F(.)=0 kada je k_i(.)=0 zove se bazična disjunkcija zadane funkcije F.