Discrete-math 20 Pigeonhole principle variations theorem Normal forms of propositions definition DNF and CNF DNF existence theorem CNF existence theorem Complete set of logical connectives definition Completeness theorem