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

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

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

    только C
    A и B
    A и C
    только B
    B и C
    ни одна
    Сложность вопроса
    50
    Сложность курса: Основы дискретной математики
    82
    Оценить вопрос
    Очень сложно
    Сложно
    Средне
    Легко
    Очень легко
    Комментарии:
    Аноним
    Это очень нехитрый решебник intuit.
    30 сен 2019
    Аноним
    Если бы не опубликованные решения - я бы не осилил c этими тестами интуит.
    06 авг 2019
    Аноним
    Это очень не сложный тест по интуиту.
    05 апр 2017
    Оставить комментарий
    Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.