Propositional Logic Evaluation in Jupyter Notebook

This is short story how to build a Sentential Calculus Parser. Code, also, on github.