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