LOGANDC1.html -- ACL2 Version 6.3

### LOGANDC1

bitwise logical `and' of two ints, complementing the first

    Major Section:  ACL2-BUILT-INS

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

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

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