Um einen Booleschen Ausdruck zu negieren, muss man nur den DeMorgan Theorem rekursiv anwenden:

(1)    Die Negation einer Summe ist das Produkt der negierten Variable.

(2)    Die Negation eines Produkts ist die Summe der negierten Variable.