Existe-t-il de bons simplificateurs d'expressions booléennes ?

Question

J'ai refactorisé un vieux code et j'ai rencontré plusieurs conditions IF qui étaient beaucoup trop complexes et longues et je suis certain qu'elles peuvent être simplifiées. Je suis certain qu'elles peuvent être simplifiées. Je pense que ces conditions ont pris tant d'ampleur en raison de modifications ultérieures.

Quoi qu'il en soit, je me demandais si l'un d'entre vous connaissait un bon simplificateur en ligne que je pourrais utiliser. Je ne suis pas intéressé par une langue spécifique, juste un simplificateur qui prendrait en compte par exemple :

((A OU B) ET (!B ET C) OU C)

Et donnez-moi une version simplifiée de l'expression, le cas échéant.

J'ai examiné les autres questions similaires, mais aucune ne m'a permis de trouver un bon outil de simplification.

Merci.

Answer 1

Vous pouvez essayer Wolfram Alpha comme dans cet exemple en fonction de vos données :

http://www.wolframalpha.com/input/?i=((A%20OR%20B)%20AND%20(!B%20AND%20C)%20OR%20C)&t=crmtb01&f=rc&t=crmtb01&f=rc)

Answer 2

Essayez Logique Vendredi 1 Il inclut des outils de l'Université de Californie (Espresso et misII) et les rend utilisables avec une interface graphique. Vous pouvez entrer des équations booléennes et des tables de vérité comme vous le souhaitez. Il permet également d'obtenir un diagramme de porte graphique.

Votre expression se simplifie en C .

Answer 3

J'ai trouvé que "The Boolean Expression Reducer" ( http://sourceforge.net/projects/bexpred/ ) est beaucoup plus facile à utiliser que Logic Friday, ne nécessite aucune installation et est multiplateforme (java).

De même, dans Logic Friday, l'expression A | B ne renvoie que 3 entrées dans la table de vérité alors que je m'attendais à 4.

Answer 4

Boolengine.com est un site web qui simplifie gratuitement. Il ne nécessite pas non plus d'installation.