https://9dok.net/document/qvl7e641-propositional-logic.html