Программа для студентов, изучающих математическую логику - автоматичеcкая решалка курсовой работы. Создавалась в давние времена в срочном порядке, когда вручную рассчитать эту курсовую уже не было времени, а вылетать из института не хотелось Программа полностью универсальная, т.е. можно вести любой вариант задания, и она рассчитает всё от и до, так, что останется только списать с экрана компьютера

Курсовая работа включает в себя следующие этапы:

1. Нахождение множества Z всех простых импликант в кубической форме использованием алгоритма Квайна-МакКласки (склеивание импликант).
2. Нахождение минимального покрытия с использованием таблицы покрытий.
3. Нахождение минимального покрытия с использованием метода Петрика.
4. Нахождение минимального покрытия с использованием карт Карно.
5. Всё то же самое - для имплицент.

Зарисовка покрытия по картам Карно осуществляется немного не так, как требуют преподаватели, а с использованием флажков разных цветов, где каждый цвет обозначает соответствующую область, но это совсем нетрудно переделать при перерисовке в отчёт. Входные данные (варианты) подготавливаются в виде текстовых файлов из строк с нулями и единицами, как и даёт преподаватель. Если задание не умещается полностью на экране, используйте стрелки на клавиатуре для перемещения вверх-вниз и влево-вправо. Переход к следующему этапу - ENTER. Досрочный выход из программы - ESC. Запускаемый файл - MinCoat.exe.

P.S. И не спалитесь перед преподом

Ввести текст комментария