Дискретная математика

Нормальные формы логических функций

• Часть 1
• | 2
• | 3
• | 4
• | 5
• | 6
• | 7
• | 8
• | 9
• | 10
• | 11

                Переход от СДНФ  к СКНФ

 Этот переход можно сделать по следующему правилу: 

 1) Образовать логическую сумму дизъюнктивных членов, не входящих в СДНФ функции;

 2) В полученном выражении заменить символы дизъюнкций на символы конъюнкций и наоборот,  аргументы   xi  на их отрицания   , а      на  .

Пример. Для данной функции 

                                                     f( x1,x2,x3 ) = 1 x2 3  x1 2 x3  x1 x2 3,

представленной в форме СДНФ, составить СКНФ.

            Обозначим через Кi полную конъюнкцию трех переменных для i-ой строки таблицы задания функции.

Например, для второй строки                   К2  =  x1є x2є x3№  =  .

Тогда заданную функцию можно записать в следующем виде:

f( x1, x2, x3 )  =  x1є x2№ x3є  x¹1 xє2  x¹3  x¹1 x¹2  xє3  =  K3  K6  K7.

предыдущаяследующая