Основные свойства и алгоритм получения сднф, скнф Общие свойства сднф

Анализируя функции логики записанные в СДНФ можно выделить ряд свойств:

-все конъюнктивные термы СДНФ являются конституентами 1, т.е. минтермами;

-в СДНФ нет двух одинаковых минтермов;

-в СДНФ ни один минтерм не содержит двух одинаковых множителей (переменных);

-в СДНФ ни один минтерм не содержит вместе с переменной и её отрицание;

-каждый минтерм содержит все переменные или их отрицания.

Алгоритм записи сднф

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

Алгоритм записи ЛФ в СДНФ имеет следующую последовательность:

-выбрать из таблицы истинности первую строку, в которой f(x)= l;

-сформировать из переменных этой строки конъюнктивный терм (минтерм) в соответствии с правилом

-поставить оператор разделения + и перейти к поиску следующей строки, где f(x)=1;

-если строк с f(x) = l больше нет, то перейти к окончанию записи СДНФ;

-конец.

Для таблицы 5.2, в соответствии с этим алгоритмом, имеем следующую СДНФ:

f_сднф(x₁, x₂, x₃) = x₂ x₃ + x₁ + x₁ x₂ .

Для записи ЛФ использовались операции И, ИЛИ, НЕ. (Графики см. приложение 1)

_СДНФ (f1) =

_{СДНФ (}f2)=

_{СДНФ (}f3)=

_{СДНФ (}f4)=

Свойства СКНФ

Свойства функций представленных в совершенной нормальной конъюктивной форме (СКНФ) аналогичны свойствам СДНФ:

-все дизъюнктивные термы СКНФ являются конституэнтами 0, т.е. макстермами;

-в СКНФ нет двух одинаковых макстермов;

-в СКНФ макстермы не содержат двух одинаковых переменных;

-в СКНФ макстерм не содержит вместе с переменной и её отрицание;

-каждый макстерм содержит все переменные или их отрицания.

Алгоритм записи скнф

Учитывая выше перечисленные свойства, сформулируем следующий алгоритм построения СКНФ для логических функций, заданных таблицей истинности:

-выбрать из таблицы первую строку, где f(x)= 0;

-сформировать дизъюнктивный терм (макстерм) в соответствии с правилом

-поставить разделяющие макстермы круглые скобки и оператор логического умножения и перейти к следующей строке где f(x)=0;

-если строк с f(x) = 0 нет, то перейти к окончанию записи СКНФ;

-конец.

Решение для таблицы 5.2. В соответствии с алгоритмом имеем СКНФ:

f_скнф(x₁,x₂,x₃)=(x₁+x₂+x₃)(x₁+x₂+ )(x₁+ +x₃)·

·( +x₂+ )( + + ).

Для представления СКНФ использовались операции И, ИЛИ, НЕT(См. приложение 2)

СКНФ(f1)=

СКНФ(f2)=

СКНФ(f3)=

СКНФ(f4)=

Стрелка Пирса

Называется: стрелка Пирса (функция Вебба, отрицание дизъюнкции, логическое НЕ-ИЛИ).

Математики Пирс и Вебб, независимо друг от друга изучавшие свойства этой функции, создали алгебру логики, названную алгеброй Пирса. Логико-математическая символика:

y=x₁↓x₂, y=x₁◦x₂, y= . Читается: x₁ или x₂ не.

Функцией стрелка Пирса (Вебба) называется функция f(x₁,x₂,…,x_n), которая истинна только тогда, когда ложны все переменные.

Мы рассмотрели основные логические функции от одной, двух и более переменных, которые нашли наибольшее применение в технике цифровых автоматов. Проведем анализ этих функций и их зависимость от числа входных переменных.(См. Приложение 3)

Стрелка Пирса (f1)=

Стрелка Пирса (f2)=

Стрелка Пирса (f3)=

Стрелка Пирса (f4)=