- 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