De Morgan's laws

De Morgan's laws are commonly written as:

A * B = A + B

A + B = A * B


The negation of a conjunction is the disjunction of the negations: A * B = A + B

ABAB = A * B = A + B

The negation of a disjunction is the conjunction of the negations: A + B = A * B

ABAB = A + B = A * B