Les booléens : la négation

• On a : ¬ x = if x then f else t

• Donc on cherche ¬ tel que ¬ x = x f t

• Cherchons :

¬ x = x f t

= C* f x t
= C (C* f) t x

• On peut donc prendre :

¬ ≡_def C (C* f) t