Converts a
boolean
expression to an equivalent expression using De Morgan's laws: replaces either
!a || !b
with
!(a && b)
or
!a && !b
with
!(a || b)