Proposition --> Truth Table Website: https://dpbarry.github.io/truthtabler/
Generate truth table from proposition