Приведение формулы к NNF, DNF и CNF

Для сборки и запуска программы необходим stack

Сборка и запуск

Для того чтобы собрать проект, нужно из корня директории вызвать команду stack build. После этого, для того чтобы запустить программу, необходимо вызвать команду stack exec converter-exe

Интерфейс

В консольном приложении можно вбивать формулы, использующие следующие символы (~ - отрицание):

/\, \/, ->, <->, ~

Результатом будет эквивалентные формулы в NNF, DNF и CNF. Пример:

Write your expression:
(a -> ~b) /\ ~(c \/ e)
NNF: (~a \/ ~b) /\ ~c /\ ~e
DNF: (~a /\ ~c /\ ~e) \/ (~b /\ ~c /\ ~e)
CNF: (~a \/ ~b) /\ ~c /\ ~e

Для выхода используется комбинация :q.

Тестирование

Для запуска тестов используется комбинация stack test