Let A = It is summer and B = there is no snow. The statement "It is summer and there is no snow" = A ∩ B
DeMorgan's Theorem states:
~(A ∩ B) = ~A U ~B = It is not summer or there is snow
Where:
- ∩ = the logical "and" operations (intersection)
- U = the logical "or" operation (union)
- ~ = negation