Заказ: 1038042

Задана формула: ∀x(B(x)→∃z(A(z)))&∃y(A(z)→C(y))→(¬C(y)&B(x)) 1. преобразовать формулу к виду ПНФ, затем КНФ и ССФ, 2. сформировать множество дизъюнктов К, 3. выполнить унификацию дизъюнктов множества К.

Задана формула: ∀x(B(x)→∃z(A(z)))&∃y(A(z)→C(y))→(¬C(y)&B(x)) 1. преобразовать формулу к виду ПНФ, затем КНФ и ССФ, 2. сформировать множество дизъюнктов К, 3. выполнить унификацию дизъюнктов множества К.
Описание

Подробное решение в WORD





Предварительный просмотр

Задана формула: ∀x(B(x)→∃z(A(z)))&∃y(A(z)→C(y))→(¬C(y)&B(x)) 1. преобразовать формулу к виду ПНФ, затем КНФ и ССФ, 2. сформировать множество дизъюнктов К, 3. выполнить унификацию дизъюнктов множества  К.