Swaps and with or in a boolean expression while preserving its meaning, by applying De Morgan's law. This is often useful for simplifying negated boolean expressions.