« Recherche:Théorie des matrices logiques/Concept de matrice logique » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 8 :
sous la forme d'un ensemble de clauses E:
{¬P1, ¬P3, P4}<br>
{P1, P2}<br>
{P1, ¬P2, P3, P4}<br>
{¬P3, ¬P4}<br>
Matrice logique exprimant l'ensemble E:
Ligne 36 :
{| class="wikitable centre"
| bgcolor="#
|}
| |||