否定標準形
G)\to \forall x.\lnot G}
¬ ¬ G → G {\displaystyle \lnot \lnot G\to G}
¬ ( G 1 ∧ G 2 ) → ( ¬ G 1 ) ∨ ( ¬ G 2 ) {\displaystyle \lnot (G_{1}\land G_{2})\to (\lnot G_{1})\lor (\lnot G_{2})}
¬ ( G 1 ∨ G 2 ) → ( ¬ G 1 ) ∧ ( ¬ G 2 ) {\displaystyle \lnot (G_{1}\lor G_{2})\to (\lnot G_{1})\land (\lnot G_{2})}
連言標準形(conjunctive normal form)と選言標準形(disjunctive normal form)は否定標準形の性質を満たしている。任意の否定標準形の論理式は、論理式の結合法則と分配法則による操作によって、論理的に等価な連言標準形や選言標準形に変形することができる。