Ниже тест по предмету Информатика, тема: Алгебра логики. Таблицы истинности. Класс: 10. Тип вопросов: Открытый вопрос. Количество вопросов: 8. Тест без ответов.
Постройте полную таблицу истинности для выражения (A ∧ B) ∨ (¬A ∧ C). Укажите значения переменных A, B, C и результат выражения для всех восьми возможных комбинаций.
Постройте полную таблицу истинности для выражения (A → B) ∧ (B → C) → (A → C). Определите, является ли это выражение тождественно истинным (истинно для всех значений A, B, C).
Докажите через таблицу истинности закон Деморгана: ¬(A ∨ B) ≡ ¬A ∧ ¬B. Постройте таблицу истинности для левой и правой частей и сравните значения.
Постройте таблицу истинности для исключающего ИЛИ: A ⊕ B, где A ⊕ B определяется как (A ∧ ¬B) ∨ (¬A ∧ B). Укажите, при каких сочетаниях значений A и B выражение истинно.
Рассмотрите выражение (A ∨ B) ∧ (¬A ∨ B). Постройте таблицу истинности для A, B, и найдите эквивалентную упрощённую форму (если возможно).
Раскройте и упрощите через таблицу истинности выражение: (A ∧ B) ∨ (A ∧ ¬B) ∨ (¬A ∧ B). Покажите, что результат эквивалентен выражению A ∨ B (поясните это на основе таблицы истинности).
Постройте таблицу истинности и определите по ней, является ли следующее выражение тавтологией, контрадикцией или удовлетворимым: ¬(A ∧ B) ∨ (A ∨ B). Обоснуйте вывод.
По таблицам истинности определите, какие из следующих формул являются тавтологиями, контрадикциями или удовлетворимыми: a) (A ∨ ¬A), b) (A ∧ ¬A), c) (A → A). Для каждой формулы укажите её классификацию и кратко обоснуйте.