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.