Методическая разработка урока «Истинность логических выражений»

Задание № 3 из ОГЭ по информатике. Подразумевает знание логических операции, умение 6. Определять истинность составного высказывания.
№1 (Демоверсия ФИПИ – 2020)
Напишите наименьшее число X, для которого истинно высказывание:
(x > 16) И НЕ (x нечётное).
Решение:
1. Преобразуем выражение (уберём НЕ):
(X > 16) И (X чётное)
2. Между скобками стоит И (конъюнкция), значит, чтобы выражение было истинным, обе скобки должны быть истинными.
3. Наименьшее число X большее 16 и при этом чётное равно 18.

№2 (СтатГрад – октябрь 2019)
Напишите наименьшее двузначное число, для которого истинно высказывание:
НЕ (Первая цифра нечётная) И (Число делится на 3)
Решение:
1. Преобразуем выражение (уберём НЕ):
(Первая цифра чётная) И
(Число делится на 3)
2. Число наименьшее и двузначное.
3. Между скобками стоит И (конъюнкция), значит, чтобы выражение было истинным, обе скобки должны быть истинными.
4. Т.к. число наименьшее, двузначное и первая цифра чётная (первая скобка), значит первая цифра равна 2.
5. Из второй скобки: число делится на 3, значит наименьшее двузначное число которое делится на 3 и первая цифра 2 равно 21.

№3 (СтатГрад – октябрь 2019)
Напишите наибольшее двузначное число, для которого истинно высказывание:
(Первая цифра нечётная) И НЕ (Число делится на 3)
Решение:
1. Преобразуем выражение (уберём НЕ):
(Первая цифра нечётная) И
(Число не делится на 3)
2. Число наибольшее и двузначное.
3. Между скобками стоит И (конъюнкция), значит, чтобы выражение было истинным, обе скобки должны быть истинными.
4. Т.к. число наибольшее, двузначное и первая цифра нечётная (первая скобка), значит первая цифра равна 9.
5. Из второй скобки: число не делится на 3, значит наибольшее двузначное число которое не делится на 3 и первая цифра 9 равно 98.
№4 (А.Г. Минак, вариант №4)
Напишите наибольшее число X, для которого ложно высказывание:
(X > 82) ИЛИ НЕ (X чётное).
Решение:
1. Преобразуем выражение (уберём НЕ):
(X > 82) ИЛИ (X нечётное)
2. Число X наибольшее.
3. Между скобками стоит ИЛИ (дизъюнкция), значит, чтобы выражение было ложным, обе скобки должны быть ложными.
4. (X > 82) - ложно при (X ≤ 82).
5. (X нечётное) – ложно, когда X – чётно.
6. Вывод: наибольшее X меньшее либо равное 82 и чётное, равно 82.
7. Можно преобразовать так (ищем истину):
НЕ ((X > 82) ИЛИ НЕ (X чётное)) =
= НЕ ((X > 82) ИЛИ (X нечётное))
(закон де Моргана)
= (X ≤ 82) И (X чётное) = 82.
№5 (А.Г. Минак, вариант №8)
Напишите наибольшее число X, для которого истинно высказывание:
НЕ ((X ≥ 23) ИЛИ НЕ (X нечётное)) И НЕ (X > 25).
Решение:
1. Преобразуем выражение (уберём НЕ):
НЕ ((X ≥ 23) ИЛИ (X чётное)) И (X ≤ 25)
2. Чтобы выражение было истинно нужно:
НЕ ((X ≥ 23) ИЛИ (X чётное)) – истина
(X ≤ 25) – истина
3. Преобразуем выражение в скобках:
(X < 23) И (X нечётное) – по закону де Моргана.
4. (X < 23) И (X нечётное) И (X ≤ 25).
5. Все три скобки должны быть истинными.
6. Наибольшее число X, удовлетворяющее данному выражен