« Recherche:Théorie des matrices logiques/Concept de matrice logique » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 2 :
La formule de logique propositionnelle
:
:(¬P1 v ¬P3 v P4) & (P1 v P2) & (P1 v ¬P2 v P3 v P4) & (¬P3 v ¬P4)
est en forme normale conjonctive et peut être plus commodément représentée
| |||