También puedes ver mi github.com/alex-iteamo-net
Analizador de tabla de verdad booleana

Interfaz para construir formas mínimas disyuntivas y conjuntivas de funciones booleanas, dado en forma de una tabla de la verdad.