(define (logic a b)
		(print "a and b is: " (and a b) "\n a or b is: " (or a b))
		(print "\n not a is: " (not a)))