bitwise logical `nand' of two integers
Major Section:  ACL2-BUILT-INS

When integers are viewed in their two's complement representation, lognand returns their bitwise logical `nand'.

The guard for lognand requires its arguments to be integers. Lognand is defined in Common Lisp. See any Common Lisp documentation for more information.

To see the ACL2 definition of this function, see pf.