Věty

• Ke každé formuli existuje logicky ekvivalentní formule, která je v DNT/KNT/uDNT/uKNT.

• Otázka splnitelnosti teorie $T = \{A_1 ,A_2 ,...,A_n\}$ je ekvivalentní s otázkou splnitelnosti formule $A_1 \land A_2 \land ... \land A_n$

• Negace klausulí uKNT nám ukazuje řádky pravdivostní tabulky, ve kterých má celá formule hodnotu false, tzn. vyjde-li nám uKNT $A \land \lnot B \land C$, pak původní formule má hodnotu false, pouze při $\lnot A \lor B \lor \lnot C$, tedy při ohodnocení $v = \{0, 1, 0\}$

• uDNT nám ukazuje řádky pravdivostní tabulky, ve kterých má celá formule hodnotu true