Написать функцию

[Krechet]

Добрый день Друзья! Не могли бы вы мне немного помочь?
Дано описание ЯП L:

Любое выражение на языке L - это функция.
Объявление функции A(x) = x + 2:
  A := L x. x + 2
Выражение, вычисляющее A(3):
  (L x. x + 2) 3
Объявление функции от нескольких переменных x + y:
  B := L x y. x + y
Выражение, вычисляющее B(1,2):
  (L x y. x + y) 1 2
Аргументом функции может быть другая функция. 
Объявление функции С, которая принимает в качестве аргумента функцию y и вычисляет y(3):
  C := L y. y 3
Выражение, вычисляющее C(A):
  (L y. y 3) (L x. x + 2)
Т.е. следующие три выражения будут эквивалентны:
  (L y. y 3) (L x. x + 2)
  (L x. x + 2) 3
  3 + 2
Язык L является лево-ассоциативным, т.е. выражение x y z эквивалентно (x y) z, а не x (y z).
В языке L нет логических значений, их заменяют функции:
  TRUE(x,y) = x
  FALSE(x,y) = y
Объявление этих функций на языке L:
  TRUE := L x y. x
  FALSE := L x y. y
Определение функции AND(p,q) = p AND q:
  AND := L p q. p q p
Рассмотрим пример: 
  p = TRUE
  q = FALSE
Т.е.: 
  p = L x y. x
  q = L x y. y.
На выходе мы должны получить FALSE, т.е.:
  L x y. y
Как работает функция AND? Попытаемся разобраться.
Подставим p и q в выражение p q p:
  (L x y. x) (L x y. y) (L x y. x)
Вторая и третья скобки - это аргументы x и y функции в первой скобке.
Функция в первой скобке всегда возвращает свой первый аргумент, т.е. нашу вторую скобку, т.е.:
  L x y. y
что как раз соответствует логическому значению FALSE.
Задание:
Напишите функцию OR(p,q) = p OR q.

Подскажите, в каком хоть направлении двигаться, а то с утра мозг не включается, а проверка завтра, спасибо заранее!!!