let dnfToCond d = tors (List.map tands d)