Major Section: ACL2-BUILT-INS
y are viewed in their two's complement
(logtest x y) is true if and only if there is
some position for which both
y have a `1' bit in that
The guard for
logtest requires its arguments to be integers.
Logtest is defined in Common Lisp. See any Common Lisp
documentation for more information.
To see the ACL2 definition of this function, see pf.