(\ true false and or not .

    not true

    -- Should reduce to false, i.e., \ x y . y
)
-- true
(\ x y . x)
-- false
(\ x y . y)
-- and
(\ p q . p q p)
-- or
(\ p q . p p q)
-- not
(\ p x y . p y x)