Bonjour à tous,
suite à un "travail" que je suis entrain de réaliser je me retrouve avec cette expression logique
qui est trop longue à mon goût et bien que je l'aie déjà simplifiée pas mal, je n'arrive pas à la simplifier plus.
Voilà la bêbête (avec ou sans couleurs pour la lisibilité) :
(¬A ˄ D) ˅ [ ¬D ˄ ( ¬(A ˅ C) ˅ (¬A ˄ B ˄ C) ) ]
(¬A ˄ D) ˅ [ ¬D ˄ ( ¬(A ˅ C) ˅ (¬A ˄ B ˄ C) ) ]
J'espère que vous sauraient m'aider ou du moins savoir si l'on ne sait plus la simplifier davantage.
Merci d'avance
-----