Une formule en forme normale conjonctive n'admet de négation que sur les variables elles-mêmes. Toute négation posée sur une parenthèse doit donc descendre jusqu'aux littéraux, et elle change d'opérateur en chemin.
Les règles
Une négation qui traverse une conjonction en ressort en disjonction, et inversement. Deux négations successives s'annulent.
Objectif
Donner les trois formules obtenues, en écrivant NON a OU NON b avec des espaces autour des opérateurs, puis nommer l'opérateur obtenu en descendant une négation dans un ET.