Лабораторная работа №6 Тема: Лабораторная работа 5 Махмуджонов Хуршид Студент группы: 12-21


Download 1.18 Mb.
bet1/6
Sana17.06.2023
Hajmi1.18 Mb.
#1542491
TuriЛабораторная работа
  1   2   3   4   5   6
Bog'liq
lab 5



МИНИСТЕРСТВО ЦИФРОВЫХ ТЕХНОЛОГИЙ РЕСПУБЛИКИ УЗБЕКИСТАН
ТАШКЕНТСКИЙ УНИВЕРСИТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ ИМЕНИ МУХАММАДА АЛ-ХОРАЗМИЙ
Факультет: «ТАТУ-БГУИР совместный факультет информационных технологий»
Направление: «Искусственный Интеллект»
ПРЕДМЕТ: Логические основы интеллектуальных систем

Лабораторная работа № 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)

Download 1.18 Mb.

Do'stlaringiz bilan baham:
  1   2   3   4   5   6




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling