(require "logic-basics.BRU" "basics.BRU")
[(⇒ (\a(\b (| (¬ a) b))))
 (o compose)
 (&& &)
 (|| |)
 (not ¬)
 (else #t)]