RosettaCodeData/Task/Logical-operations/ACL2/logical-operations.acl2
Ingy döt Net db842d013d A-M baby
2013-04-10 21:29:02 -07: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))))