T'as mal dessiné ta table, faut qu'en passant d'une ligne à la suivante (ou une colonne à la suivante), il n'y ait toujours qu'une seule variable qui change de signe. Là quand tu passes de la ligne 2 à la ligne 3, tu passes de B à ¬B mais aussi de ¬C à C. C'est pour ça que ça "ne donne rien".
Refais la table en mettant en lignes à droite "C, ¬C, ¬C, C" et en bas "D, ¬D, ¬D, D". Tu pourras regrouper les lignes 1 et 4 pour faire C
Message édité le 30 novembre 2015 à 14:53:36 par AlphaCygni