От нечего делать попробовал изучить основы комбинаторной логики. Ок, есть базовые комбинаторы S и B (I не является базовым, т.к. он выводится через SBB(x,y,z)). Работает, хорошо.
Однако препод по дискретной математике так и не ответила, для чего это вообще нужно. Итак, бнвач — зачем придумали комбинаторную логику?