December 27, 2025

propositional logic in discrete mathematics