« Recherche:Théorie des matrices logiques/Concept de matrice logique » : différence entre les versions
Contenu supprimé Contenu ajouté
Annulation des modifications 344773 de 88.160.203.245 (discussion) |
|||
Ligne 9 :
La formule de [[w:Calcul_des_propositions|logique propositionnelle]]
:
:(¬P1 ∨ ¬P3 ∨ P4) ∧ (P1 ∨ P2) ∧ (P1 ∨ ¬P2 ∨ P3 ∨ P4) ∧ (¬P3 ∨ ¬P4)
est en [[w:Forme_normale_conjonctive|forme normale conjonctive]] et peut être plus commodément représentée
sous la forme d'un ensemble de [[w:Clause_(logique)|clauses]] E:
:
:{¬P1, ¬P3, P4}<br />
:{P1, P2}<br />
:{P1, ¬P2, P3, P4}<br />
:{¬P3, ¬P4}<br />
Matrice logique exprimant l'ensemble E:
|