Equivalences / simplifications (look at MATH 161 coursebook too) De Morgan’s laws Conjunctive and disjunctive normal forms