https://profilpelajar.com/en/Propositional_calculus