Forme normale négative

Forme normale négative (abrégé FNN) si l'opérateur de la négation ( ¬ {\displaystyle \lnot } , non) est appliqué uniquement aux variables, et les seuls opérateurs booléens autorisés sont la conjonction ( ∧ {\displaystyle \land } , et) et la disjonction ( ∨ {\d…