Discussion :

[touftouf57]

Bonjour,

J'aimerais bien comprendre pourquoi:
a.b+/a.c+b.c=a.b+/a.c

je précise les opérateurs utilisés
. = et
+ = ou
/ = non

ca fait 2 heures que je cherche, sans voir le découlement logique.

Quelqu'un peut m'éclaircir sur la marche à suivre.

Merci

[Nemerle]

Le membre de gauche est composé de 3 ou:

a.b
/a.c
b.c

b.c est vrai quand b=V et c=V. mais dans ce cas on a toujours soit a.b=V (quand a=V) ou /a.c=V (quand a=F).

Donc ce terme b.c ne sert à rien, c'st ce que te dit ta formule!

[FR119492]

Salut!
Construis les tables de vérité de l'expression de gauche et de celle de droite, et tu verras qu'elles sont identiques.
Jean-Marc Blanc

[touftouf57]

Merci,

Mais j'ai déjà fait les table de vérité et tableau de karnaugh. Et je constate bien que si j'affecte les valeurs de gauche dans le tableau, j'obtiens ceux de droite.

Ce que je voudrais savoir, c'est comment en "bidouillant" les termes de gauche, on obtient ceux de droite.

Merci

[Jean Dumoncel]

Bonjour,

tu trouveras une démonstration sur cette page (théorème de la redondance).

[touftouf57]

Merci,

J'étais justement dessus à l'instant