Минимизация логических функций

МАИ, 2007, 30 стр. Дисциплина - Дискретная математика Задание на курсовую работу:
1) Используя метод Квайна-Мак-Класки и алгебраический метод Петрика найти все тупиковые покрытия, получите соответствующие им тупиковые формы.
2) Построить логические схемы, соответствующие тупиковым формам, в базисах (НЕ, И, ИЛИ) и (НЕ, →).
3) Найти максимальную дизъюнктивную форму булевой функции по критерию max Pвбр. Содержание:
Теоретическая часть.
Контактные схемы.
Минимизация булевых функций.
Практическая часть.
Постановка задачи.
Исходные данные.
Решение.
Вывод.