Negate a Boolean expression

To negate a Boolean expression you simply have to apply the DeMorgan theorem recursively:

(1)    The negation of a sum is the product of the negated variables.

(2)    The negation of a product is the sum of the negated variables.