МИНИСТЕРСТВО ЦИФРОВЫХ ТЕХНОЛОГИЙ РЕСПУБЛИКИ УЗБЕКИСТАН
ТАШКЕНТСКИЙ УНИВЕРСИТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ ИМЕНИ МУХАММАДА АЛ-ХОРАЗМИЙ
Факультет: «ТАТУ-БГУИР совместный факультет информационных технологий»
Направление: «Искусственный Интеллект»
ПРЕДМЕТ: Логические основы интеллектуальных систем
Лабораторная работа № 6
Тема: Лабораторная работа 5
Выполнил: Махмуджонов Хуршид
Студент группы: 12-21
Введённая функция: x↓y→z⊕y
Вектор функция: 01001100
Таблица истинности:
Совершенная дизъюнктивная нормальная форма (СДНФ)
¬x¬yz ∨ x¬y¬z ∨ x¬yz
Совершенная конъюнктивная нормальная форма (СKНФ)
(x∨y∨z) ∧ (x∨¬y∨z) ∧ (x∨¬y∨¬z) ∧ (¬x∨¬y∨z) ∧ (¬x∨¬y∨¬z)
z⊕yz⊕x⊕xz⊕xy⊕xyz
Решение Построение совершенной дизъюнктивной нормальной формы:
Найдём наборы, на которых функция принимает истинное значение: { 0, 0, 1 } { 1, 0, 0 } { 1, 0, 1 }
В соответствие найденным наборам поставим элементарные конъюнкции по всем переменным, причём если переменная в наборе принимает значение 0, то она будет записана с отрицанием:
K1: { 0, 0, 1 } — ¬x¬yz
K2: { 1, 0, 0 } — x¬y¬z
K3: { 1, 0, 1 } — x¬yz
Объединим конъюнкции с помощью операции ИЛИ и получим совершенную дизъюнктивную нормальную форму:
K1 ∨ K2 ∨ K3 = ¬x¬yz ∨ x¬y¬z ∨ x¬yz
Построение совершенной конъюнктивной нормальной формы:
Найдём наборы, на которых функция принимает ложное значение: { 0, 0, 0 } { 0, 1, 0 } { 0, 1, 1 } { 1, 1, 0 } { 1, 1, 1 }
В соответствие найденным наборам поставим элементарные дизъюнкции по всем переменным, причём если переменная в наборе принимает значение 1, то она будет записана с отрицанием:
D1: { 0, 0, 0 } — x∨y∨z
D2: { 0, 1, 0 } — x∨¬y∨z
D3: { 0, 1, 1 } — x∨¬y∨¬z
D4: { 1, 1, 0 } — ¬x∨¬y∨z
D5: { 1, 1, 1 } — ¬x∨¬y∨¬z
Объединим дизъюнкции с помощью операции И и получим совершенную конъюнктивную нормальную форму:
D1 ∧ D2 ∧ D3 ∧ D4 ∧ D5 = (x∨y∨z) ∧ (x∨¬y∨z) ∧ (x∨¬y∨¬z) ∧ (¬x∨¬y∨z) ∧ (¬x∨¬y∨¬z)
Do'stlaringiz bilan baham: |