Введённая функция: x↑y→(x↑z⊕(z∨y))→(z⊕x)
Вектор функция: 01111010
Таблица истинности:
Совершенная дизъюнктивная нормальная форма (СДНФ)
¬x¬yz ∨ ¬xy¬z ∨ ¬xyz ∨ x¬y¬z ∨ xy¬z
Совершенная конъюнктивная нормальная форма (СKНФ)
(x∨y∨z) ∧ (¬x∨y∨¬z) ∧ (¬x∨¬y∨¬z)
z⊕y⊕yz⊕x⊕xy⊕xyz
Решение Построение совершенной дизъюнктивной нормальной формы:
Найдём наборы, на которых функция принимает истинное значение: { 0, 0, 1 } { 0, 1, 0 } { 0, 1, 1 } { 1, 0, 0 } { 1, 1, 0 }
В соответствие найденным наборам поставим элементарные конъюнкции по всем переменным, причём если переменная в наборе принимает значение 0, то она будет записана с отрицанием:
K1: { 0, 0, 1 } — ¬x¬yz
K2: { 0, 1, 0 } — ¬xy¬z
K3: { 0, 1, 1 } — ¬xyz
K4: { 1, 0, 0 } — x¬y¬z
K5: { 1, 1, 0 } — xy¬z
Объединим конъюнкции с помощью операции ИЛИ и получим совершенную дизъюнктивную нормальную форму:
K1 ∨ K2 ∨ K3 ∨ K4 ∨ K5 = ¬x¬yz ∨ ¬xy¬z ∨ ¬xyz ∨ x¬y¬z ∨ xy¬z
Построение совершенной конъюнктивной нормальной формы:
Найдём наборы, на которых функция принимает ложное значение: { 0, 0, 0 } { 1, 0, 1 } { 1, 1, 1 }
В соответствие найденным наборам поставим элементарные дизъюнкции по всем переменным, причём если переменная в наборе принимает значение 1, то она будет записана с отрицанием:
D1: { 0, 0, 0 } — x∨y∨z
D2: { 1, 0, 1 } — ¬x∨y∨¬z
D3: { 1, 1, 1 } — ¬x∨¬y∨¬z
Объединим дизъюнкции с помощью операции И и получим совершенную конъюнктивную нормальную форму:
D1 ∧ D2 ∧ D3 = (x∨y∨z) ∧ (¬x∨y∨¬z) ∧ (¬x∨¬y∨¬z)
Do'stlaringiz bilan baham: |