B
This commit is contained in:
parent
e5e8880e41
commit
518da4a923
1019 changed files with 15877 additions and 0 deletions
7
Task/Bitwise-operations/ACL2/bitwise-operations.acl2
Normal file
7
Task/Bitwise-operations/ACL2/bitwise-operations.acl2
Normal file
|
|
@ -0,0 +1,7 @@
|
|||
(defun bitwise (a b)
|
||||
(list (logand a b)
|
||||
(logior a b)
|
||||
(logxor a b)
|
||||
(lognot a)
|
||||
(ash a b)
|
||||
(ash a (- b))))
|
||||
Loading…
Add table
Add a link
Reference in a new issue