Knowledge Systems Laboratory, Stanford
University
25
XOR and NOT Gates
uXOR gate’s output is on when its inputs are different
(=>
(Type ?g XOR)
(and (Gate ?g)
(Terminal (In 2 ?g))
(<=> (Signal (Out 1 ?g)
On)
(/= (Signal (In 1 ?g)) (Signal (In 2 ?g)))))
uNOT gate’s output is different from its inputs
(=>
(Type ?g NOT)
(and (Gate ?g)
(not (Signal (Out 1 ?g)
(Signal (In 1 ?g)))))