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

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

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

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

K1K2 K4K5K8  =  x1є xє2  xє3  xє1 xє2  x¹3  xє1 x¹2  x¹3  x¹1 xє2  xє3  x¹1 x¹2 x¹3= 

                    =  x3   x2 x3  x1  x1 x2 x3.

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

f( x1,x2,x3 )  =  ( x1x2x3 )( x1x2)( x1)(x2x3 )( ).

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