Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
λo.λp.(o (λq.((q f) c) l))) (λa.b c) ---------------- a = ((b & c) λd.λe.(d λf.λg.g)) b = λh.λi.λj.(i λk.λl.(k (λm.((m b) n) h))) n = λo.λp.p a ---------------- a = ((b c) & (d c)) c = λe.λf.(e λg.λh.h) b = λi.λj.λk.(j λl.λm.(l (λn.((n b) o) i))) o = λp.λq.q a ---------------- b = λc.λd.(c λe.λf.f)