(a xor b) and (c xor d) in anf