Logique

Fermé
bastak lahadj Messages postés 1 Date d'inscription samedi 9 janvier 2010 Statut Membre Dernière intervention 9 janvier 2010 - 9 janv. 2010 à 20:17
Bonjour,
tous les étudiants de 2éme année informatique (LIG):
J'ai un devoir de maison à faire et je bloque . c à propos de la 1ére série du module Logique (EXO 2):

ET={^E , ^I , 7E , 7I}
OU={∨E ,∨I , 7E, 7I}
On dira que deux ensembles de règles A et B sont équivalents si chaque règle de A est déductible à partir des règles de B et réciproquement

comment on montre que ET et OU sont équivalents ?

Aidez moi