Aide en math n°2 probleme de simplification dans Esim

[invite97506b97]

Bonsoir,
J ai un probleme dans les ensembles minimals (esim)
Je n arrive pas a simplifier sous la forme canonique. Sans doute trop facile pour moi.
J ai pour exemple:
(a+b.d)(b+c.d)(c+d)
A la mise sous forme canonique j y arrive pas du tout.
(C est une loi de sumplification)
Le resultat est:
(a.b+a.c.d + b.d) (c+d)
a.b.c + a.c.d + b.d
a.b.c + a.c.d + b.d
Si quelqu un peut m expliquer je galere pour un truc que je ne trouve pas. Pourtant je connais les fonctions 'et' et 'ou'
Merci encore
-----

[Resartus]

Bonjour,
On peut commencer comme en algèbre normale, mais après il faut chercher s'il n'y a pas des simplifications
Par exemple la première distribution
(a+b.d)(b+c.d) = a.b+b.b.d+a.c.d+b.c.d
Première remarque : b.b.d=b.d car b.b=b
Deuxième remarque b.d.+b.c.d=b.d.(1+c)=b.d car 1+c vaut toujours 1
Il reste bien a.b+a.c.d+b.d

A vous pour la suite...