Forme normale négative définition

Forme normale négative

La forme normale négative n`est pas une forme canonique, par exemple, $a\; land\; (blor\; lnot\; c)$ et $(a\; land\; b)\; lor\; (a\; land\; lnot\; c)$ sont équivalentes, et sont toutes deux en forme normale négative.
Trouvé sur https://fr.wikipedia.org/wiki/Forme_normale_négative

---