And Gate
And-Gate
Subclass-Of: Two-To-One-Gate
*Type: And
Or-Gate
Subclass-Of: Two-To-One-Gate
*Type: Or
-----------------------------------------
(<=> (Signal (Output ?g) On)
(and (Signal (Input1 ?g) On)
(Signal (Input2 ?g) On))))
(<=> (Signal (Output ?g) On)
(or (Signal (Input1 ?g) On)
(Signal (Input2 ?g) On))))