Converted eliminate equivalence to DNF