https://thelogictutorial.blogspot.com/2024/04/theory-of-logic-proposition-in-discrete.html