1.1. Propositional logic Notes | Discrete Structure BDS | TU | TABFlux