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

5 lines
162 B
Text
Raw Permalink Normal View History

2023-07-01 11:58:00 -04: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))))