1) Преобразовать формулу к виду ПНФ и ССФ 2) сформировать множество дизъюнктов К

1) Преобразовать формулу к виду ПНФ и ССФ, 2) сформировать множество дизъюнктов К, 3) выполнить унификацию дизъюнктов. ∀x(A(x)→∃y(B(y))→∃y(¬A(x)∨¬C(z)∨B(y)) Удаляем логическую связку «→»: ¬∀x(¬A(x)˅∃y(B(y))˅∃y(¬A(x)∨¬C(z)∨B(y)) Выполняем отрицание формулы: ∃x(¬(¬A(x)˅∃y(B(y)))˅∃y(¬A(x)˅¬C(z)˅B(y)), ∃x(A(x)˄∀y(¬B(y))˅∃y(¬A(x)˅¬C(z)˅B(y)) Переименуем связанную переменную левого квантора x=v : ∃v(A(v)˄∀y(¬B(y))˅∃y(¬A(x)˅¬C(z)˅B(y)) Переименуем связанную переменную левого квантора y=w: ∃v(A(v)˄∀w(¬B(w))˅∃y(¬A(x)˅¬C(z)˅B(y)) Выносим кванторы в префикс: ∃v∀w∃y ((A(v)˄¬B(w)˅( ¬A(x)˅¬C(z)˅B(y))) Применим законы дистрибутивности, приведем к КНФ: ∃v∀w∃y ((A(v)˅ ¬A(x)˅¬C(z)˅B(y))˄(¬B(w)˅( ¬A(x)˅¬C(z)˅B(y))) Матрица ПНФ содержит два элементарных дизъюнкта: К={( A(v)˅ ¬A(x)˅¬C(z)˅B(y)), (¬B(w)˅( ¬A(x)˅¬C(z)˅B(y)) } Примем v=d и удалим ∃v : ∀w∃y ((A(d)˅ ¬A(x)˅¬C(z)˅B(y))˄(¬B(w)˅( ¬A(x)˅¬C(z)˅B(y))) Примем y=f(w) и удалим ∃y и получим ССФ: ∀w ((A(d)˅ ¬A(x)˅¬C(z)˅B(f(w)))˄(¬B(w)˅( ¬A(x)˅¬C(z)˅B(f(w)))) Множество дизъюнктов матрицы : K={(A(d)˅ ¬A(x)˅¬C(z)˅B(f(w)), (¬B(w)˅ ¬A(x)˅¬C(z)˅B(f(w))) } Выполним унификацию дизъюнктов: (A(d)˅ ¬A(x)˅¬C(z)˅B(f(w))= A(d)˅ ¬A(d)˅¬C(z)˅B(f(w))

Тип работы:

Контрольная работа

Предмет:

Логика

Статус:

выполнено

Стоимость. Рублей:

60

Дата выполнения:

2015-04-10

Understand your user experience

I am text block. Click edit button to change this text. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec ullamcorper mattis, pulvinar dapibus leo.

Read More

remain responsive across devices

I am text block. Click edit button to change this text. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec ullamcorper mattis, pulvinar dapibus leo.

Read More

fall in love with our features

Real time stats

Click edit button to change this text. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec mattis, pulvinar dapibus leo.

Multilingual & translatable

Click edit button to change this text. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec mattis, pulvinar.

Less plugins needed

Click edit button to change this text. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec mattis, pulvinar dapibus leo.

Amazingly responsive

Click edit button to change this text. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec mattis, pulvinar dapibus leo.

Community builder

Click edit button to change this text. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec mattis, pulvinar dapibus leo.

Easy to use interface

Click edit button to change this text. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec mattis, pulvinar dapibus leo.

Выполним любую работу на заказ

У нас вы можете заказать уникальное решений этой задачи или любой другой

Adblock detector