Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

32 В рассматриваемом примере шаги 6 и 7 выглядят следующим образом. * * * 0000 000- * * 0001 00-0 * 0010 -000 * * * 1000 -001 * * * 1001 100- * * 1100 1-00 * * 1101 1-01 110- * 000- -00- 00-0 1-0- * -000 * -001 * * 100- * 1-00 * 1-01 * 110- Непомеченными остались 00–0, –00–, 1–0–. Они и образуют простые импликанты x yt , , yz xz . 7. Таблицы простых импликантов Пусть i p i 1 k     – СДНФ функции f(x 1 ,…,x n ) . Пусть  1 ,…,  m – простые импликанты f , найденные по алгоритм Куайна и Мак-Клоски. Перечислив все простые импликанты, нужно выбрать из них такое подмножество, что ) ... ( r 1       , т.к. в этом случае из того, что     ) ... ( r 1   следует, что   f . Выбранное подмножество должно быть минимальным (в смысле сделанных ранее определений). ) ... ( r 1       , если каждая k i покрывается подходящим  j . т.к. в противном случае существовали бы такие значения переменных, что непокрытая k i (и, следовательно,  ) принимали бы значение 1 , а  1  …  r принимало бы значение 0 .