Démonstration du théorème du consensus en logique combinatoire

[inviteb9c2ac19]

Bonsoir a tous,

J'aurais besoin de comprendre comment démontrer le théorème du consensus.
Je suis incappable de trouver l'astuce pour le redémontrer.

ab+a'c+bc=ab.a'c
(a+b)(a'+c)(b+c)=(a+b)(a'+c)

' correspond a barre.

Merci beaucoup
Thomas
-----

[inviteb9c2ac19]

J'ai peut etre trouvé une solution, pourriez vous me dire si la méthode est bonne?
ab+a'c+bc=ab+a'c+(a+a')bc
=ab+a'c+abc+a'bc
=a(b+bc)+a'(c+bc)
=a(b(1+c))+a'(c(1+b))
Comme:
1+c=1
1+b=1
On obtiens donc:
ab+a'c

Est ce que mon raisonnement est bon?
Merci
Thomas

[gcortex]

Tout juste Auguste !

[inviteb9c2ac19]

cool, Merci
Bye
Thomas (pas auguste ;op lol )

[A voir en vidéo sur Futura]