« Recherche:Théorie des matrices logiques/Concept de matrice logique » : différence entre les versions
Contenu supprimé Contenu ajouté
Page créée avec « == Concept de matrice logique == La formule de logique propositionnelle :Ligne en retrait (¬P1 v ¬P3 v P4) & (P1 v P2) & (P1 v ¬P2 v P3 v P4) & (¬P3 v ¬P4) est en fo... » |
|||
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
sous la forme d'un ensemble de clauses E:
{¬P1, ¬P3, P4}
{P1, P2}
{P1, ¬P2, P3, P4}
{¬P3, ¬P4}
| |||