Заказ: 1032523

Представить в виде ПНФ предикат (∃x∀yP(y;x;t)|Q(x;y;z))→∀xT(x;y)

Представить в виде ПНФ предикат (∃x∀yP(y;x;t)|Q(x;y;z))→∀xT(x;y)
Описание

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





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

Представить в виде ПНФ предикат (∃x∀yP(y;x;t)|Q(x;y;z))→∀xT(x;y)