RosettaCodeData/Task/Bitwise-operations/ACL2/bitwise-operations.acl2
Ingy döt Net 518da4a923 B
2013-04-10 16:19:29 -07: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))))