Совершенная дизъюнктивная нормальная форма (СДНФ)

Совершенная конъюнктивная нормальная форма (СКНФ)

Существует два способа задания логических функций: с помощью формулы и с помощью таблицы истинности. По формуле легко составляется таблица истинности. На практике при конструировании различных электронных устройств часто возникает обратная задача от таблицы истинности перейти к формуле, чтобы на ее основе построить функциональную схему.

Введем следующие определения.

Элементарной называется нескольких переменных, взятых с отрицанием или без отрицания, причем среди переменных могут быть одинаковые.

Пример.

ЭК:

ЭД:

Любую называют нормальной формой (

Пример.

ЭК:

ЭД:

называется , в которой нет одинаковых , и все состоят из одного и того же набора переменных, в который каждая переменная входит только один раз возможно со знаком отрицания.

Пример.

СДНФ:

СКНФ:

Дата добавления: 2014-01-06