Нормальные формы логических функций
Для четвертой, шестой и седьмой строк полные дизъюнкции соответственно будут иметь вид:
x1№
x2є
x3є
,
x1є
x2№
x3є
,
x1є
x2є
x3№
.
Тогда согласно (1.8) СКНФ данной функции будет иметь вид:
f( x1, x2, x3 ) = ( x1
x2
x3 )( x1
2
3 )(
1
x2
3 )(
1
2
x3 ).