A list of all functions considered to be part of the theory of logical operations on numbers.
Definition:
(defconst *logops-functions* '(binary-logior binary-logxor binary-logand binary-logeqv lognand lognor logandc1 logandc2 logorc1 logorc2 lognot logtest logbitp ash logcount integer-length bitp signed-byte-p unsigned-byte-p logcar$inline logcdr$inline logcons$inline logbit$inline logmask$inline logmaskp loghead$inline logtail$inline logapp logrpl logext logrev1 logrev$inline logsat lognotu$inline logextu$inline ashu lshu bspp bsp-size bsp-position rdb wrb rdb-test rdb-field wrb-field b-not$inline b-and$inline b-ior$inline b-xor$inline b-eqv$inline b-nand$inline b-nor$inline b-andc1$inline b-andc2$inline b-orc1$inline b-orc2$inline))