Также mожете посмотреть мой github.com/alex-iteamo-net
Анализатор логических булевых функций

Интерфейс для построения минимальных дизъюнктивных и конъюнктивных форм булевых функций, заданных в виде таблицы истинности.