http://en.wikipedia.org/wiki/De_Morgan's_laws
"The negation of a conjunction is the disjunction of the negations." and
"The negation of a disjunction is the conjunction of the negations."
http://en.wikipedia.org/wiki/De_Morgan's_laws
"The negation of a conjunction is the disjunction of the negations." and
"The negation of a disjunction is the conjunction of the negations."