Applies
De Morgan's law
by replacing either
a or b
with
not(not a and not b)
or
a and b
with
not(not a or not b)
inside a boolean expression.