Краткое содержание: Параграф §2.5 / Информатика 8 класс

Тестовые задания для самоконтроля по теме «Основы логики»

Этот раздел содержит тестовые задания, предназначенные для самопроверки знаний по основам математической логики и логических операций, таких как конъюнкция (логическое умножение), дизъюнкция (логическое сложение) и отрицание (инверсия).

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

• Высказывание: Утверждение, о котором можно однозначно сказать, истинно оно или ложно. Примеры проверяют способность отличать высказывания от предложений, которые не являются таковыми (например, побудительные или вопросительные предложения, а также оценочные суждения).
• Системы счисления: Одно из заданий включает перевод числа из двоичной системы счисления в десятичную: \( 1011_2 \). Перевод осуществляется по формуле: \( 1 \cdot 2^3 + 0 \cdot 2^2 + 1 \cdot 2^1 + 1 \cdot 2^0 \).
• Логические операции: Проверяются знания символов и названий логических операций. Символ \( \vee \) обозначает логическую операцию ИЛИ (дизъюнкцию или логическое сложение), а символ \( \wedge \) обозначает логическую операцию И (конъюнкцию или логическое умножение). Отрицание обозначается чертой над выражением или символом \( \neg \).
• Истинность сложных высказываний: Задания требуют определить истинность составного высказывания при различных значениях переменных. Например, нужно найти, при каких значениях числа \( X \) истинно выражение типа \( ((X < 5) \vee (X < 3)) \wedge ((X < 2) \vee (X < 1)) \). Или требуется найти количество целых значений \( X \), для которых истинно выражение \( \neg (X < 5) \wedge \neg (X > 9) \). Для решения таких задач необходимо:
  • Применить закон де Моргана, чтобы преобразовать выражение \( \neg (X < 5) \wedge \neg (X > 9) \) к более простому виду. Отрицание \( \neg (X < 5) \) эквивалентно \( X \ge 5 \), а \( \neg (X > 9) \) эквивалентно \( X \le 9 \).
  • В итоге, нужно найти количество целых чисел, удовлетворяющих условию \( (X \ge 5) \wedge (X \le 9) \), то есть \( 5 \le X \le 9 \). Целые числа в этом диапазоне: 5, 6, 7, 8, 9. Всего 5 чисел.
• Работа с поисковыми запросами: Задание №6 моделирует работу поисковой системы, используя логические операции для объединения и пересечения результатов поиска. Символ \( | \) (или \( \vee \)) соответствует логическому ИЛИ (объединение), а символ \( \& \) (или \( \wedge \)) — логическому И (пересечение). Для нахождения количества страниц по запросу «крейсер \( | \) линкор» используется формула для объединения множеств: \( N(A \vee B) = N(A) + N(B) - N(A \wedge B) \). В данном случае: \( N(\text{крейсер } | \text{ линкор}) = N(\text{крейсер}) + N(\text{линкор}) - N(\text{крейсер } \& \text{ линкор}) \).
• Логические задачи и таблицы истинности: Включены задачи, требующие анализа показаний свидетелей или определения логического выражения, соответствующего заданной таблице истинности. Например, задание №8 требует определить, какому логическому выражению соответствует таблица истинности, где функция \( F \) истинна только при одной из переменных \( A \) или \( B \) ложной, но не когда обе ложны или обе истинны. Эта таблица соответствует операции исключающее ИЛИ (XOR) или операции \( A \oplus B \). Из предложенных вариантов: \( A \vee \neg B \), \( A \vee B \), \( \neg A \wedge \neg B \), \( \neg (A \wedge B) \), ни один не является XOR. Однако, если внимательно посмотреть на таблицу (00->1, 01->1, 10->1, 11->0), она соответствует операции Шеффера (штрих Шеффера) или отрицанию конъюнкции: \( \neg (A \wedge B) \), что соответствует варианту г) \( \neg (A \wedge B) \).
• Логические схемы: Задание №11 требует сопоставить логическую схему (электронную схему, реализующую логическую функцию) с соответствующим логическим выражением. Схема, где входные сигналы \( A \) и \( B \) сначала инвертируются (применяется отрицание), а затем соединяются через элемент И (\( \& \)), соответствует выражению \( \neg A \wedge \neg B \).

Решение этих тестовых заданий позволяет закрепить теоретические знания и навыки применения законов логики в практических задачах, включая анализ работы поисковых систем и логических схем.

Для успешного решения необходимо помнить основные таблицы истинности и законы алгебры логики, включая законы де Моргана: \( \neg (A \vee B) = \neg A \wedge \neg B \) и \( \neg (A \wedge B) = \neg A \vee \neg B \).

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

Важно также уметь работать с условиями, выраженными на естественном языке, и переводить их в символическую логическую форму, как, например, в задании №4, где требуется составить логическое выражение, описывающее фразу: «НЕ (Первая буква согласная) И НЕ (Вторая буква гласная)» для символьного выражения.