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

8 lines
151 B
Text
Raw Permalink Normal View History

2023-07-01 11:58:00 -04:00
(defun bitwise (a b)
(list (logand a b)
(logior a b)
(logxor a b)
(lognot a)
(ash a b)
(ash a (- b))))