(q-nand &rest args) constructs a UBDD representing the NAND of its arguments.
For instance:
(q-nand) = nil (q-nand a) = (q-not a) (q-nand a b ...) = (q-not (q-and a b ...))
Macro: q-nand
(defmacro q-nand (&rest args) (cons 'q-not (cons (cons 'q-and args) 'nil)))
