L'operatore booleano OR ha due argomenti, se almeno uno dei due ha valore TRUE il valore restituito e' TRUE, altrimenti e' FALSE, quindi il lambda termine e'

λv.λw. IF_THEN_ELSE v TRUE (IF_THEN_ELSE w TRUE FALSE)

, e cioe'

λv.λw.(λz.z)v(λx.λy.x)((λz.z)w(λx.λy.x)(λx.λy.y).