(aig-orc1 x y) is identical to aig-implies.
Macro: aig-orc1
(defmacro aig-orc1 (x y) (cons 'aig-implies (cons x (cons y 'nil))))