Méthode

• Conserver les lignes de cette table dont ${\displaystyle \psi =0}$
• Comme pour la FND, relier les variables entre elles par une ou plusieurs disjonctions :

Ligne 1 du tableau : ${\displaystyle \neg x\land \neg y\land \neg z}$

Ligne 8 du tableau : ${\displaystyle x\land y\land z}$

• Inverser chaque contexte et relier les nouvelles expressions entre elles par une conjonction :

${\displaystyle \neg x\land \neg y\land \neg z}$ devient : ${\displaystyle \neg (\neg x\land \neg y\land \neg z)\equiv x\lor y\lor z}$

${\displaystyle x\land y\land z}$ devient : ${\displaystyle \neg (x\land y\land z)\equiv \neg x\lor \neg y\lor \neg z}$

Donc la FNC canonique de ${\displaystyle \psi }$ est ${\displaystyle (x\lor y\lor z)\land (\neg x\lor \neg y\lor \neg z)}$.