Метод Квайна поиска Сокднф
 Скачать 92.04 Kb.
|
|
f x1, x 2, x3 x1 x 2 x 2 x3 x1 x3   Тупиковой ДНФ называется такая запись логической функции вформе дизъюнкции простейших импликант, из которой нельзя исключить ни одну из конъюнкций без изменения исходной логической функции. Для нахождения тупиковых и минимальной ДНФ используется метод импликантных (импликативных) матриц. Импликантная матрица – это таблица, в которой столбцы изображают конъюнкции ДСНФ, а строки – простейшие импликанты СокДНФ. Составим импликантную матрицу для функции x, y, z x y z x y z xy xz x y xz xy z z xz y y x y z z xz y y    xyz xyz xyz x yz x yz x yz xyz x yz
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||