A command-line tool for converting predicates into simplified CNF or DNF.

Converts to CNF by default.

Interprets the order of precedence: ['~', '&&', '||', '=>']

Interprets the following as logic symbols: ['&&', '||', '~', '(', ')', '=>']. Everything else is interpreted as a term. Spaces are ignored.

Usage: main.py sentence [dnf]

Usage example 1:

> main.py 'a => b && c' dnf
~a || (b && c)

Usage example 2:

> main.py 'a => b && ~c'
(~a || ~c) && (~a || b)