LOGNAND.html -- ACL2 Version 6.3

### LOGNAND

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.