RosettaCodeData/Task/Bitwise-operations/ACL2/bitwise-operations.acl2
2023-07-01 13:44:08 -04:00

7 lines
151 B
Text

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