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