Äquivalenzen

Def: Formeln F mathend000# und G mathend000# heißen äquivalent, wenn Mod(F) = Mod(G) mathend000#.

Satz: zu jeder Formel F mathend000# existiert äquivalente Formel G mathend000# in DNF.

Satz: zu jeder Formel F mathend000# existiert äquivalente Formel G' mathend000# in CNF.

aber ...wie groß sind diese Normalformen?