Axioms and Duality
Order of precedence:
NOT
AND
OR
Venn Diagrams
Rules for combining venn diagrams
Keep what is common between the two