(define (logic a b)
  (display "a and b is ")
  (display (and a b))
  (newline)
  (display "a or b is ")
  (display (or a b))
  (newline)
  (display "not a is ")
  (display (not a))
  (newline))