Метод Квайна поиска Сокднф

• Название: Метод Квайна поиска Сокднф
• Дата: 09.12.2020
• Размер: 92.04 Kb.
• Имя файла: abd0746177ad9d1f.docx
• Тип: Документы; #158598
• страница: 6 из 6

35

Идея метода заключается в том, что поиск «лишних» конъюнкций производится по способу накрытия конъюнкциями меньшего ранга конъюнкций большего ранга.

• 
  строке против каждой простой импликанты ставится знак «» под теми конституентами, которые поглощаются данной простой импликантой.
  

• 
  тупиковую ДНФ должны входить импликанты, поглощающие все конъюнкции.
  

_{ТДНФ1 =} xz  y z  x y

= xz  y



ТДНФ 2

z

yz  xz

= xy 

ТДНФ 3

yz  xz

= xy  y



ТДНФ 4

z

yz  x y

= xy  xz 



ТДНФ 5

x

y

xz

Из полученных ТДНФ выбирается МДНФ:

_{ТДНФ1 =} xz  y z  x y




_{ТДНФ3 =} xy  yz  xz