Bitwise logical inclusive or of two ints, complementing the first
When integers are viewed in their two's complement representation,
logorc1 returns the bitwise logical inclusive or of the second with the
bitwise logical `not' of the first.
The guard for logorc1 requires its arguments to be integers.
Logorc1 is defined in Common Lisp. See any Common Lisp documentation for
(defun logorc1 (i j)
(declare (xargs :guard (and (integerp i) (integerp j))))
(logior (lognot i) j))