Записать СКНФ функции f (x1x2x3):
КНФ: f=(x2˅x3)∙(x1˅x3)∙x1
Ответ
x1˅x2˅x3∙x1˅x2˅x3∙x1˅x2˅x3∙x1˅x2˅x3∙x1˅x2˅x3∙x1˅x2˅x3
Решение
Построим таблицу истинности:
x1
x2
x3
x1
x2˅x3
x1˅x3
(x2˅x3)∙(x1˅x3)
(x2˅x3)∙(x1˅x3)∙x1
0 0 0 1 0 1 0 0
1 0 0 0 0 0 0 0
0 1 0 1 1 1 1 0
0 0 1 1 1 1 1 0
1 1 0 0 1 0 0 0
1 0 1 0 1 1 1 1
0 1 1 1 1 1 1 0
1 1 1 0 1 1 1 1
2) Найдем наборы аргументов, при которых функция принимает ложное значение:
0,0,0, 1,0,0,0,1,0,0,0,1,1,1,0,0,1,1
3) Поставим этим наборам в соответствие элементарные дизъюнкции по всем переменным (если переменная в наборе равна 1, то она записывается с отрицанием):
0,0,0=>x1˅x2˅x3
1,0,0=>x1˅x2˅x3
0,1,0=>x1˅x2˅x3
0,0,1=>x1˅x2˅x3
1,1,0=>x1˅x2˅x3
0,1,1=>x1˅x2˅x3
4) Объединим конъюнкции с помощью дизъюнкций и получим СКНФ:
x1˅x2˅x3∙x1˅x2˅x3∙x1˅x2˅x3∙x1˅x2˅x3∙x1˅x2˅x3∙x1˅x2˅x3
Ответ: x1˅x2˅x3∙x1˅x2˅x3∙x1˅x2˅x3∙x1˅x2˅x3∙x1˅x2˅x3∙x1˅x2˅x3