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.