on page 32 of the text it states that in the exorcises at th

on page 32 of the text it states that in the exorcises at the end of section 2.1 we are asked to show that the negation of the disjunction of two statements is logically equivalent to the conjunction of their negations ~(p union q) = ~p^~q Let\'s do that. Show ~(p union q) = ~p ~q (where of course we are using the equal sign to mean logical equivalence)

The Given property is called De Morgan Laws.

We can Prove this by Truth Table