August 2, 2025

propositional logic in discrete mathematics