RosettaCodeData/Task/Logical-operations/ACL2/logical-operations.acl2
2023-07-01 13:44:08 -04:00

4 lines
162 B
Text

(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))))