Контроль по теме «Законы и правила преобразования логических выражений»

Контроль по теме «Законы и правила преобразования логических выражений»

• Выполните все задания из предложенных:
• В текстовое поле вводите ответ, следуя образцу после задания.
• Нажмите на кнопку «Показать результат»;
• Результат не отразится, пока Вы не ответите на все вопросы;
• Загляните в окно рядом с номером задания. Если ответ правильный, то там (+). Если Вы ошиблись, там (-).
• За каждый правильный ответ начисляется 1 балл;
• Чтобы сбросить результат тестирования, нажать кнопку «Сбросить ответы»;

1. Определите значение логического выражения: ¬(X>Z) /\ ¬(X=Z) \/ (Y>X), если Х=3, Y=5, Z=2 и запишите ответ (истина/ложь)
2. Упростите выражение: (¬A \/ B) /\ (¬A \/ B). ¬A \/ B (A \/ B) /\ A ¬A /\ B A \/ ¬B
3. Какое логическое выражение равносильно выражению ¬(A /\ B ) /\ ¬C: ¬A \/ B \/ ¬C (¬A \/ ¬B) /\ ¬C (¬A \/ ¬B) /\ C ¬A /\ ¬B /\¬C
4. Определите являются ли выражения (A \/ В)=>¬(B \/ C) и B /\ A \/ C равносильными. Запишите ответ (да/нет)
5. Выберите составное высказывание, имеющее ту же таблицу истинности, что и выражение ¬(¬ A /\ ¬(B \/ C)). A /\ B \/ C /\ A (A \/ B) /\ (A \/ C) A /\ (B \/ C) A \/ (¬B \/ ¬C)