ПредишенСледващото

  • Определение. Елементен връзка К е implicants на функцията F, ако за всеки комплект = (а1, а2, ..., с) от 0 и 1, състоянието R (а) = 1 означава, е (а) = 1.
  • Opredelenie.Implikant на функция F е проста. ако експресията е получен от него чрез изтриване дълги всички фактори не implicants на функция F.
  • На всеки implicants на е е част от функцията F.
  • Теорема. Всяка функция се изпълнява от разединяване на всички свои председатели implicants.
  • Определяне .Sokraschennaya DNF на функцията F е дизюнкция на всички председатели implicants на функция F.
  • Одобрение. Всяка функция е изпълнена неговата съкратена DNF.
  • За всяка функция, не идентично нула, има само съкратен DNF.
  • Теорема (Quine). Ако функцията е PDNF извършва всички операции на непълно свързване и след това всички операция на абсорбция и премахването на излишните членове, резултатът е намалена DNF функция е.

алгоритъм Куайн за изграждане на намалената DNF
1. Вземете функция PDNF.
2. Извършва всички операции непълна свързване.
Абсорбцията 3. Извършване на всички операции.


Пример. Минимизиране функция е = 1111010010101111.
Решение.
1. изграждане на маса за стойности на тази функция (таблица.). Ние изграждаме функция PDNF. По този начин условията да се изброят и пишат колона (таб.).

метод Quine, логика, примери на разтворите

2. обработва всички непълни свързване.
Първа стъпка свързване (таб.):

В първия етап на залепване на всички условия PDNF, така че нито един от първоначалните условия няма да бъдат включени в съкратен DNF. След първия етап на свързване (и евентуални придобиване), че

Изброяват разделителния условия в получения DNF в реда на тяхното възникване от 1 до 15 (Таблица.).
Вторият етап на свързване:

Процедурата за свързване на втория етап условията № 5, 8 от предишната стъпка не участва, а след втория етап на залепване и последващи придобивания се получи, че

Тъй като по-нататъшно свързване не е възможно, то ще бъде съкратено DNF оригиналната функция.

Свързани статии

Подкрепете проекта - споделете линка, благодаря!