(aig-or x1 x2 ...) constructs an AIG representing (or x1 x2 ...).
Like aig-and, we attempt to lazily avoid computing later terms in the expression.
Macro: aig-or
(defmacro aig-or (&rest args) (cons 'mbe (cons ':logic (cons (aig-or-macro-logic-part args) (cons ':exec (cons (aig-or-macro-exec-part args) 'nil))))))
