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

8 lines
151 B
Text
Raw Permalink Normal View History

2013-04-10 16:19:29 -07:00
(defun bitwise (a b)
(list (logand a b)
(logior a b)
(logxor a b)
(lognot a)
(ash a b)
(ash a (- b))))