J'étais en train de refactoriser l'ancien 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 suppose que ces conditions se sont tellement développées à cause des 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 peux utiliser. Je ne suis intéressé par aucun langage spécifique, juste un simplificateur qui prendrait 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 regardé les autres questions similaires, mais aucune ne m'indique un bon simplificateur.
Merci.
boolean-logic
boolean-expression
mojarras
la source
la source
Réponses:
Vous pouvez essayer Wolfram Alpha comme dans cet exemple en fonction de votre entrée:
http://www.wolframalpha.com/input/?i=((A%20OR%20B)%20AND%20(NOT%20B%20AND%20C)%20OR%20C)&t=crmtb01&f=rc
la source
NOT C AND NOT A OR NOT B AND NOT C AND NOT D AND NOT A OR NOT B AND NOT C AND D AND A OR B AND C AND NOT D AND NOT A OR B AND C AND D AND A
.Try
Logic Friday 1
It 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 comporte également une entrée et une sortie de diagramme de porte graphique.La minimisation peut être effectuée à deux niveaux ou à plusieurs niveaux. La forme à deux niveaux donne une somme minimisée de produits. La forme à plusieurs niveaux crée un circuit composé de portes logiques. Les types de portes peuvent être restreints par l'utilisateur.
Votre expression se simplifie en
C
.la source
J'ai trouvé que le réducteur d'expression booléenne est beaucoup plus facile à utiliser que Logic Friday. De plus, il ne nécessite pas d'installation et est multi-plateforme (Java).
De plus, dans Logic Friday, l'expression
A | B
renvoie simplement 3 entrées dans la table de vérité; J'attendais 4.la source