LOGXOR.html -- ACL2 Version 6.3

### LOGXOR

bitwise logical exclusive or of zero or more integers

    Major Section:  ACL2-BUILT-INS

When integers are viewed in their two's complement representation, `logxor` returns their bitwise logical exclusive or. In ACL2 `logxor` is a macro that expands into calls of the binary function `binary-logxor`, except that `(logxor)` expands to `0` and `(logxor x)` expands to `x`.

The guard for `binary-logxor` requires its arguments to be integers. `Logxor` is defined in Common Lisp. See any Common Lisp documentation for more information.