SDNF е

SDNF (Perfect Disjunctive Normal Form) Дали DNF отговаря на три условия:

  • той няма еднакви елементарни съюзи
  • всяка връзка не съдържа едни и същи предложения
  • всеки елементарен съединител съдържа всяка предложена буква от предложните букви, включени в дадения DNF, и в същия ред.

За всяка функция на алгебрата на логиката има свой собствен SDNF и единствен.

Съдържание

Пример за намиране на SDNF

За да се получи функцията SDNF, се изисква да се компилира нейната таблица на истината. Например, нека вземем една от таблиците на истината в статията Минимизиране на логическите функции по метода на Куайн, в която находка SDNF се случва няколко пъти:

В клетките на резултата са маркирани само онези комбинации, които довеждат логическия израз до състоянието на една.
Освен това разглеждаме стойностите на променливите, при които функцията е равна на 1. Ако стойността на променливата е 0, тогава тя се записва с инверсия. Ако стойността на променливата е 1, тогава без инверсия.

Първият ред съдържа един в посоченото поле. Стойностите на всички четири променливи са маркирани, това са:

  • = 0
  • = 0
  • = 0
  • = 0

Нулевите стойности - тук всички променливи са представени с нули - се записват в крайния израз чрез обръщане на тази променлива. Първият член на SDNF на разглежданата функция изглежда така:
Втори член променливи:

  • = 0
  • = 0
  • = 0
  • = 1

в този случай той ще бъде представен без инверсия:

По този начин се анализират всички клетки. Перфектният DNF на тази функция ще бъде дизюнкцията на всички получени термини (елементарни съединения).

Перфектен DNF на тази функция:

Бележки

Фондация Уикимедия. 2010 г. .

Вижте какво е "SDNF" в други речници:

Минимизиране на логическите функции по метода на Куайн - Методът на Куайн е начин за представяне на функция в DNF или CNF с минимален брой членове и минимален набор от променливи. [1] [2] [3] Трансформацията на функцията може да бъде разделена на два етапа: първият етап е преходът от каноничната форма ... ... Wikipedia