[(#t (\t(\f t)))
 (#f (\t(\f f)))
 (& (\p(\q ((p q) p))))
 (| (\p(\q ((p p) q))))
 (¬ (\v (\p(\q ((v q) p)))))
 (if (\p p))]