TRUE = λxy. x FALSE = λxy. y IF = λbtf. btf AND = λxy. ЕСЛИ xy ЛОЖЬ ИЛИ = λxy. ЕСЛИ x ИСТИНА y НЕ =...

Я изучаю лямбда-исчисление. Мне нужно определить лямбда-образ синдиката, который возвращает истину...