Вариант 8.
Алгебра логики высказываний
Логика предикатов
Задачи (в двух файлах), а также примеры их выполнения прилагаются