Новая школа

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

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

Задания

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

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

Постройте таблицу истинности для выражений 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 ↔ B. Докажите на примере, что A ↔ B эквивалентно (A → B) ∧ (B → A). Приведите таблицу истинности для A ↔ B и для (A → B) ∧ (B → A), и покажите совпадение значений во всех строках.
Упростите и докажите следующее выражение: (A ∧ (B ∨ ¬B)) → A. Объясните шаг за шагом, почему это выражение является тождественно истинным (истинно при любых значениях A и B).

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

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

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

Таблица истинности для 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
Эквивалентность 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 Вывод: значения совпадают во всех случаях → эквивалентность подтверждена.
Законы де Моргана

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

Эквивалентность 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, что демонстрирует эквивалентность.

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

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

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

Бесплатный сервис «Учительская»

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

Популярные тесты

Тест по технологии для 3 класса: Строчка косого стежка (крестик, стебельчатая)

Вопросы:

Конец теста