This program is a praser for Propositional Logic.
In truth_functions.py are all boolean functions.
If you run truth_table.py with an input formula you will get the output of possible boolean values.
verify_prop_logic.py check if your formula is well-formed and does not contain errors.