Estoy buscando una herramienta para refactorizar la expresión booleana. Tengo expresiones comoHerramienta para refactorizar expresiones booleanas
a1 => (b1 <=> c or d) AND
a2 => (b2 <=> c or d) AND
a2 => (b2 <=> c or d)
La herramienta debe ser capaz de simplificar las expresiones, p. extrae la expresión secundaria "c o d" en el ejemplo anterior. ¿Hay un sistema de álgebra computarizado gratuito que pueda hacer esto?
Actualmente pienso en refactorizar las expresiones manualmente y probar la equivalencia con una pequeña secuencia de comandos haskell quickcheck.
Mire [esta pregunta y respuestas] (http://stackoverflow.com/q/14902141/57477) - Básicamente, use [Wolfram Alpha] (http://www.wolframalpha.com/) – CraigTP