https://profilbaru.com/article/Propositional_calculus