(aig-nand x y) constructs an AIG representing (not (and x y)).
Macro: aig-nand
(defmacro aig-nand (x y) (cons 'aig-not (cons (cons 'aig-and (cons x (cons y 'nil))) 'nil)))
