Автор Тема: Предварённая нормальная форма  (Прочитано 213 раз)

0 Пользователей и 1 Гость просматривают эту тему.

Оффлайн Programmer1994

  • Пользователь
  • Сообщений: 8
    • Просмотр профиля
Предварённая нормальная форма
« : Сентябрь 19, 2015, 04:51:25 pm »
Привести формулу к предварённой нормальной форме: \( (F(y) \wedge G(x)) \to \overline{(\forall y)(H(y,z))}  \).
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4901
  • Поблагодарили: 1564 раз(а)
    • Просмотр профиля
Предварённая нормальная форма
« Ответ #1 : Сентябрь 19, 2015, 05:17:23 pm »
Переобозначим связанную квантором общности переменную: \( (F(y) \wedge G(x)) \to \overline{(\forall t) (H(t,z))} \). Далее преобразуем формулу равносильным образом: \( \overline{(F(y) \wedge G(x))} \vee (\exists t) (\overline{H(t,z)}) \simeq \overline{F(y)} \vee \overline{G(x)} \vee (\exists t) (\overline{H(t,z)}) \simeq (\exists t) (\overline{F(y)} \vee \overline{G(x)} \vee \overline{H(t,z)} \simeq (\exists t) ((P(y) \wedge Q(x)) \to \overline{H(t,z)})  \).