** fel 1 **
x SIGNAL
y SIGNAL x
y' NOT y
x' NOT x
a1 AND x y'
a2 AND y x'
z  OR a1 a2