Create Taut.py

Tautology of the propositional calculus in Python