Nu we Churchgetallen hebben gedefineerd is het logisch om ook Churchbooleans te implementeren.

• Implementeer Churchbooleans cTrue en cFalse.

• Implementeer conversiefuncties cbToHask en haskToCb van Church booleans naar Haskell Booleans en omgekeerd.

• Implementeer de booleaanse operaties andC, orC en notC over je Church Booleans.