Программная реализация алгоритма Квайна - Мак Класки
- Генерировать неизменную часть таблицы истинности.
- Предоставлять ввод с клавиатуры значений логической функции.
- Выбирать нужные конституэнты и группировать их по количесту 1.
- Формировать набор импликат, обеспечивающих "склеивание" всех конституэнт.