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