Tautology Verifier

This small module will detect whether a given propositional statement is tautology or not.

How to use it:

The below command will take input from user and print out whether a given statment is tautology or not.

python tautology_verifier.py

The below command will run pre-defined unit test cases

python tautology_test.py