Темы:
Высказывания и операции над ними
Предикаты. Кванторы
Двоичные векторы
Функции алгебры логики
Логические преобразования
Стандартные виды формул для функций алгебры логики
Минимизация дизъюктивных нормальных форм
В ворд файлах задания и пример оформления (оформление как можно проще), а в pdf лекции, чтобы было видно, какое решение примерно ожидают.