MATHEMATICAL LOGIC TOOLKIT (DNF & CNF) requirements: python 3.6 or higher prettytable (pip install prettytable) To run the application run folloiwing command in this directory. python App.py or py App.py or python3 App.py