Главная / Основы дискретной математики / Пусть F = ∃x∀yP(x,y,z) →​ ∀y∃z Q(x,y,z). Какие из следующих формул являются предваренными формами эквивалентными F? A= ∀y ∃q ∀u∃p ( P(u,p,z) →​ Q(x,y,q) )B= ∀u ∃q∃p∀y ( P(u,p,z) →​ Q(x,y,q) )C= ∀u∀y ∃p ∃q ( P(u,p,z) →​ Q(x,y,q) )

Пусть F = ∃x∀yP(x,y,z) →​ ∀y∃z Q(x,y,z). Какие из следующих формул являются предваренными формами эквивалентными F?
  • A= ∀y ∃q ∀u∃p ( P(u,p,z) →​ Q(x,y,q) )
  • B= ∀u ∃q∃p∀y ( P(u,p,z) →​ Q(x,y,q) )
  • C= ∀u∀y ∃p ∃q ( P(u,p,z) →​ Q(x,y,q) )
  • вопрос

    Правильный ответ:

    только A
    A и B
    A и C
    только B
    B и C
    ни одна
    Сложность вопроса
    92
    Сложность курса: Основы дискретной математики
    82
    Оценить вопрос
    Очень сложно
    Сложно
    Средне
    Легко
    Очень легко
    Комментарии:
    Аноним
    Большое спасибо за решениями по intuit.
    28 май 2018
    Оставить комментарий
    Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.