(\ true false and or not .

    or false true

    -- Should reduce to true, i.e., \ x y . x
)
-- 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)