Algèbre de Boole pour factoriser conditions algorithmiques

Bonjour à tous,

Je cherche à factoriser une imbrication de SI ALORS SINON. Pour cela j'ai utilisé l'algèbre de Boole, en appelant a, b, c, e des conditions et z un des traitements à opérer.

J'en suis arrivé à ça :

z = (a.b) + (/(a.b) . c) + ((/(a.b) . /c) . /e)
z = (a.b) + ((/a+/b) . c) + (((/a+/b) . /c) . /e)

Transcrit en code j'ai toujours de la répétition que je voudrais factoriser. Ca concerne :

z = (a.b) + ((/a+/b) . c) + (((/a+/b) . /c) . /e)

Mais je sèche dans ma factorisation, quelqu'un pourrait m'aider?

Bonjour,

je trouve
z = (a.b) + (/a+/b) . (c+e) soit z = a.b + c + e ... à vérifier.

Cdlt,


Edit : vérifié :ccool:.
Règles utilisées :

• (a+b)c = ac + bc
• a + (¬a)b = a+b

super merci,

Il y a plusieurs années que je n'avais pas eu à l'utiliser, mais ça permet vraiment d'optimiser ses boucles conditionnelles, de ce que j'en vois.