Тест на тему Высказывания. Алгебра логики.

Вот готовый тест по информатике для 8 класса на тему: Высказывания. Алгебра логики. Тип вопросов: открытый. Количество вопросов: 6. Тест выведен с ответами.

Название теста Тест по информатике Тема: Высказывания. Алгебра логики Класс: 8 Тип вопросов: Открытый вопрос Количество вопросов: 6 Выводить ответы: Да

Задания

1. Дайте определения следующим понятиям и приведите по три примера корректных высказываний и три примера некорректных высказываний.

• что такое логическое высказывание;
• что обозначает истинность/ложность высказывания. Примеры (на ваш вкус): приведите три верных высказывания и три примера фраз, которые не являются высказываниями (не имеют значения истинности).

2. Постройте таблицу истинности для выражений A ∧ B и A ∨ B. В таблице возьмите A и B как следующие высказывания:

• A: «сейчас идёт дождь»;
• B: «сегодня выходной». Постройте все четыре комбинации значений A и B и запишите значения для A ∧ B и A ∨ B в каждой строке.

3. Объясните и докажите, что импликация A → B эквивалентна выражению ¬A ∨ B. Для наглядности приведите таблицу истинности для A → B и для ¬A ∨ B, и сделайте вывод о эквивалентности.

4. Приведите примеры применения закона де Моргана:

• ¬(A ∨ B) ≡ ¬A ∧ ¬B;
• ¬(A ∧ B) ≡ ¬A ∨ ¬B. Для каждого закона запишите пару эквивалентных выражений и, при возможности, приведите простые примеры значений A и B, чтобы показать, как работают эти равенства.

5. Объясните, что такое логическая эквивалентность A ↔ B. Докажите на примере, что A ↔ B эквивалентно (A → B) ∧ (B → A). Приведите таблицу истинности для A ↔ B и для (A → B) ∧ (B → A), и покажите совпадение значений во всех строках.

6. Упростите и докажите следующее выражение: (A ∧ (B ∨ ¬B)) → A. Объясните шаг за шагом, почему это выражение является тождественно истинным (истинно при любых значениях A и B).

Ключ к ответам (пример правильных ответов)

1. Определения и примеры

• Логическое высказывание: предложение, которое имеет значение истинности (истина или ложь).
• Корректные высказывания (пример):
  • 2 + 2 = 4 (истина);
  • число 12 делится на 3 (истина);
  • сумма цифр числа 123 равна 6 (1+2+3=6; истинно, если число 123 рассматривать как конкретное число). Примеры некорректных высказываний (не являются высказываниями, т.к. не имеют ясной истинности):
  • «Синий» (слово, не предложение);
  • «Привет» (обращение, без утверждения);
  • «Если будет солнечно» (незавершённое условное предложение).

2. Таблица истинности для A ∧ B и A ∨ B A | B | A ∧ B | A ∨ B T | T | T | T T | F | F | T F | T | F | T F | F | F | F

3. Эквивалентность A → B ≡ ¬A ∨ B A | B | A → B | ¬A ∨ B T | T | T | T T | F | F | F F | T | T | T F | F | T | T Вывод: значения совпадают во всех случаях → эквивалентность подтверждена.

4. Законы де Моргана

• ¬(A ∨ B) ≡ ¬A ∧ ¬B Таблица: для всех значений A,B левая и правая части равны.
• ¬(A ∧ B) ≡ ¬A ∨ ¬B Таблица: для всех значений A,B левая и правая части равны. Пояснение: отрицание или меняет оператор на противоположный и переставляет конъюнкцию/дизъюнкцию.

5. Эквивалентность A ↔ B

• Таблица A ↔ B: A | B | A ↔ B T | T | T T | F | F F | T | F F | F | T
• Также A ↔ B ≡ (A → B) ∧ (B → A). Таблица для (A → B) ∧ (B → A) совпадает с таблицей A ↔ B, что демонстрирует эквивалентность.

6. Упрощение выражения (A ∧ (B ∨ ¬B)) → A

• B ∨ ¬B тождественно истинно (предмет закона исключения тройного).
• A ∧ (B ∨ ¬B) ≡ A ∧ True ≡ A.
• Следовательно, выражение становится A → A, которое тождественно истинно.
• Значит, выражение упрощается до истины (True).

Если нужно, могу адаптировать формулировки заданий под конкретную ковку учебника или добавить дополнительные примеры для тренировочных таблиц.