Skip to content
scrambled
Programming Language Theory Flashcard

Define boolean operations and, or, not for church booleans?

Question

Define boolean operations and, or, not for church booleans?

Answer

Church booleans:

tru=λf. λs. ffls=λf. λs. s
  • And:

    and=λb1. λb2. b1 b2 fls

  • Or:

    or=λb1. λb2. b1 tru b2

  • Not:

    not=λb. b fls tru