Нормальные формы логических функций
= ( x1
2
x3 )(
X
)( 2 x3 ).
Меняя в этом выражении & на , на & а
аргументы на их отрицания и наоборот, получим СДНФ для заданной функции:
f( x1, x2,x3 ) =
x2 3 x1
2 x3 x1 x2 3.