This intention converts a
boolean
expression to an equivalent expression using De Morgan's laws.