Qualsiasi buon semplificatore di espressioni booleane là fuori?

Question

Stavo rifattando il vecchio codice e ho riscontrato diverse condizioni IF troppo complesse e lunghe e sono certo che possono essere semplificate. La mia ipotesi è che quelle condizioni siano cresciute così tanto a causa delle successive modifiche.

In ogni caso, mi stavo chiedendo se qualcuno di voi sa di un buon software online che posso usare. Io non sono interessato a qualunque lingua specifica, solo un semplificatore che avrebbe preso in esempio:

(! (A o B) e (B e C) o C)

e mi danno un versione semplificata dell'espressione, se presente.

Ho esaminato le altre domande simili ma nessuna mi indica un buon esempio.

Grazie.

Answer 1

Si può provare a Wolfram Alpha, come in questo esempio sulla base di input:

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

Answer 2

Prova Logic Friday 1 Include strumenti dell'University of California (Espresso e misII) e li rende utilizzabili con una GUI. Puoi inserire equazioni booleane e tabelle di verità come desiderato. Dispone inoltre di un input e output grafico diagramma di gate.

La minimizzazione può essere eseguita su due livelli o su più livelli. La forma a due livelli produce una somma minima di prodotti. Il modulo a più livelli crea un circuito composto da porte logiche. I tipi di porte possono essere limitati dall'utente.

L'espressione è semplificata in C.

Answer 3

ho scoperto che The Boolean Expression Reducer è molto più facile da usare rispetto Logic Venerdì. Inoltre non richiede installazione ed è multipiattaforma (Java).

Anche in Logic Friday l'espressione A | B restituisce solo 3 voci nella tabella di verità; Mi aspettavo 4.