Strumento per il refactage di espressioni booleane

Question

Sto cercando uno strumento per il refactage dell'espressione booleana. Ho espressioni come

a1 => (b1 <=> c or d) AND 
a2 => (b2 <=> c or d) AND 
a2 => (b2 <=> c or d) 

Lo strumento deve essere in grado di semplificare le espressioni, ad es. estrai l'espressione secondaria "c o d" nell'esempio sopra. Esiste un sistema di algebra per computer gratuito che può farlo?

Attualmente penso di refactoring delle espressioni manualmente e dimostrare l'equivalenza con un piccolo script quickkeck haskell.

Answer 1

io non sono sicuro di uno strumento, ma dare un'occhiata a Boolean Algebra

è possibile disegnare una griglia di tutti gli ingressi e uscita per cercare di trovare un'espressione booleana minimo

Answer 2

Il DMS Software Reengineering Tookit potrebbe farlo .

È una tecnologia di compilazione generalizzata per l'analisi dei linguaggi (incluso Java) per AST e tabelle di simboli. Il DMS fornisce anche trasformazioni da sorgente a fonte e riscrittura del diritto associativo e commutativo.

Le espressioni booleane vengono visualizzate come alberi di espressione Java AST. Fornendo una serie di regole sull'algebra booleana, è possibile manipolare gli alberi di espressione .

Abbiamo fatto questo in passato per eseguire la semplificazione e la trasformazione dell'espressione booleana per C, RLL e un sistema di equazioni diagnostiche, sia su espressioni su larga scala, sia su molte espressioni di media scala (scala molto simile al vostro esempio) .

MODIFICA 19/05/2010: Vedere un example of conventional algebra transformations utilizzando DMS. È banale costruire una variante che invece fa l'algebra booleana.