RosettaCodeData/Task/Bitwise-operations/ACL2/bitwise-operations.acl2

(defun bitwise (a b)
   (list (logand a b)
         (logior a b)
         (logxor a b)
         (lognot a)
         (ash a b)
         (ash a (- b))))