This is a implementation of the tableux calculus, that is a decision procedure solving the problem of satisfiability.
To run the project, use this command line:
$ python3 main.py
This project has 2 files Tableaux.py has its own implementation, with a formula parser and solver. The main file contains the test formulas and interpretations of the logical symbol notation within the project.