(defun logic (a b)
  (print "a and b is") (write (and a b))
  (print "a or b is" ) (write (or a b))
  (print "not a is"  ) (write (not a)))