RosettaCodeData/Task/Logical-operations/ACL2/logical-operations.acl2

5 lines
162 B
Text
Raw Permalink Normal View History

2013-04-10 21:29:02 -07:00
(defun logical-ops (a b)
(progn$ (cw "(and a b) = ~x0~%" (and a b))
(cw "(or a b) = ~x0~%" (or a b))
(cw "(not a) = ~x0~%" (not a))))