Tautology Check in Jupyter Notebook

Another Jupyter Notebook Posts - check if a given propositional calculus formula is a tautology. code also on github.