March 12, 2025

propositional logic in discrete mathematics