Заказ: 1032524

Представить в виде ССФ предикат S (∀x∃yP(x;y;z)T(x;t))|∀xR(x;y)

Представить в виде ССФ предикат S (∀x∃yP(x;y;z)T(x;t))|∀xR(x;y)
Описание

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





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

Представить в виде ССФ предикат S (∀x∃yP(x;y;z)T(x;t))|∀xR(x;y)