Алгоритм отыскания МДНФ методом Квайна - Мак-Класки сводится к следующему.
1. Находят покрытие П(z) заданной функции. Для этого формируют кубический комплекс ФАЛ и в каждом i-ом кубическом комплексе отмечают кубы (импликанты), не образовавшие i+1-й кубический комплекс. Отмеченные импликанты, называемые простыми, образуют покрытие заданной ФАЛ.
2. Строят таблицу покрытий матрицы Квайна. Строки указанной таблицы соответствуют простым импликантам, а столбцы – 0-кубам (конституентам единицы) ФАЛ. На пересечении i-й строки и j-го столбца ставится метка, если импликанта i покрывает конституенту j. Отметим, что импликанта i покрывает
конституенту j в случае, если она отличается от нее независимыми аргументами.
3. Определяю покрытие минимальной стоимости, для этого:
а) выделяют ядро Квайна. Если 0-куб заданной ФАЛ покрывается только одной
простой импликантой, то последняя является существенной и входит в ядро Квайна и, следовательно, в покрытие минимальной стоимости;
б) из таблицы вычеркивают столбцы и строки, покрытые импликантами ядра Квайна. Если в полученной после вычеркивания таблице содержатся простые импликанты, они также включаются в ядро Квайна с последующим вычеркиванием соответствующих строк и столбцов;
в) сжимают таблицу по столбцам, для чего из нее вычеркивают столбцы, в которые полностью входит любой из оставшихся столбцов;
г) сжимают таблицу по строкам, для чего из нее вычеркивают строки, которые полностью включаются в любую из оставшихся строк.
Последовательно сжимая таблицу по строкам и столбцам, получают циклическую таблицу, импликанты которой должны входить в покрытие ФАЛ минимальной стоимости. На пересечении i-х строк циклической таблицы и импликант, образующих ядро Квайна, получают МДНФ заданной функции.
