## Thinking Mathematically (6th Edition)

De Morgan's Laws says that $\sim (p\land q)\equiv \sim p\lor \sim q$ and $\sim (p\lor q)\equiv \sim p\land \sim q$. Thus the equivalent statement is: "Chicago is not a city or Maine is not a city. "