LOGNOR.html -- ACL2 Version 6.3

### LOGNOR

bitwise logical `nor' of two integers

    Major Section:  ACL2-BUILT-INS

When integers are viewed in their two's complement representation, `lognor` returns the bitwise logical `nor' of the first with the second.

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

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