June 19, 2025

propositional logic in discrete mathematics