Нормальные формы логических функций
f(x1,x2,x3) =
(x1№
x2№x3№)(
x1№x2№x3є )(
x1№x2єx3є )(
x1єx2№x3№ )(
x1єx2є x3є).
Учитывая, что верхние индексы при переменных в этом выражении, согласно (1.8) равны противоположному значению переменной, то получим следующие наборы значений переменных, входящие в это выражение:
( 0, 0, 0 ), ( 0, 0, 1 ), ( 0, 1, 1 ), ( 1, 0, 0 ) и ( 1, 1, 1 ).
Эти наборы переменных соответствуют 1, 2, 4, 5 и 8 строкам таблицы задания функции. Следовательно, СКНФ функции можно переписать так:
f( x1,x2, x3 ) = D1 D2 ·D4 ·D5 ·D8.
Из этой записи видно, что в СКНФ не входят полные дизъюнкции 3, 6 и 7 строк.
Образуем логическое произведение из этих дизъюнкций:
D3D6 D7 = (
x1№ x2є x3№ )( x1є
x2№ x3є )( x1є
x2є x3№ ) =