Логические утверждения
Информатика

Замените символы а, б, с и д на такие утверждения, чтобы связанные составные утверждения сохраняли свой смысл: 1) если

Замените символы а, б, с и д на такие утверждения, чтобы связанные составные утверждения сохраняли свой смысл: 1) если (X или Y и Z), то W 2) если (не X и не Y), то (Z или W) 3) (X или Y) тогда и только тогда, когда (Z и не W)
Верные ответы (1):
  • Эмилия_3724
    Эмилия_3724
    8
    Показать ответ
    Предмет вопроса: Логические утверждения

    Объяснение:

    1) Нам нужно заменить символы а, б, с и д на утверждения, которые будут сохранять свой смысл в данных логических утверждениях.

    - Если (X или Y и Z), то W
    - Если (не X и не Y), то (Z или W)
    - (X или Y) тогда и только тогда, когда (Z и не W)

    Решение:

    1) Первую формулу можно переписать следующим образом:
    - Если (Ученик набрал хотя бы один балл или сдал тест и отправился на практику), то Викторина будет пройдена.

    2) Вторую формулу можно переформулировать так:
    - Если (Ученик не получил X и не получил Y), то (Он сдал Z или получил W).

    3) Третья формула может быть переписана так:
    - (Ученик получил X или Y) тогда и только тогда, когда (Он сдал Z и не получил W).

    Пример:

    1) Если (Ученик набрал хотя бы один балл или сдал тест и отправился на практику), то Викторина будет пройдена.

    Совет:

    - Для лучшего понимания логических утверждений рекомендуется изучать основные логические операторы (И, ИЛИ, НЕ), а также понимать их приоритет и правила преобразования.

    Закрепляющее упражнение:

    Переформулируйте следующее логическое утверждение, используя конкретные условия:

    Если (Ученик сдаст экзамен и получит высокий балл), то он получит золотую медаль.
Написать свой ответ: