** xor ** x SIGNAL y SIGNAL y' NOT y x' NOT x a1 AND x y' a2 AND y x' z OR a1 a2