Построение таблицы истинности. СДНФ. СКНФЛямбда-вычисления
Задачи на практику (которые возможно были в течение семестра)