Открыть тренажёр →
💻 Информатика

Логические высказывания

Теория, разобранные примеры и практика по теме «Логические высказывания» для подготовки к ОГЭ по информатике в 2026 году.

✓ Выверено под ФИПИ-2026 · обновлено 8 июля 2026

Теория

Логические связки

Преобразование «НЕ»

Признак по цифрам

Приём (алгоритм)

  1. Замени каждое НЕ на противоположное условие (неравенство).
  2. Условия, соединённые И, должны выполняться все сразу.
  3. Для наименьшего x перебирай числа снизу вверх (для наибольшего — сверху вниз).
  4. Возьми первое x, где истинны все условия.

Пример: (оканчивается на 4) И НЕ (x < 100) → x ≥ 100 и последняя цифра 4. Числа 100–103 не подходят, 104 подходит → наименьшее 104.

Разбор заданий

Разобранный пример

Напишите наименьшее натуральное число x, для которого истинно высказывание: (x кратно 3) И НЕ (x < 284).

Показать решение

«НЕ (x < 284)» означает x ≥ 284; «x кратно 3» — x делится на 3.
Ищем наименьшее кратное 3, не меньшее 284: это 285 (285 ÷ 3 = 95).
Ответ: 285.

Разобранный пример

Напишите наименьшее натуральное число x, для которого истинно высказывание: (x кратно 4) И (x кратно 5) И НЕ (x < 65).

Показать решение

«НЕ (x < 65)» означает x ≥ 65. «x кратно 4» И «x кратно 5» вместе значат, что x делится на НОК(4, 5) = 20.
Наименьшее кратное 20, не меньшее 65: 80.
Ответ: 80.

Реши задачи по этой теме в тренажёре →Мгновенная проверка, подсказки и разбор именно твоей ошибки. Бесплатно.

Частые вопросы

Что нужно знать по теме «Логические высказывания» для ОГЭ по информатике?

Ключевые понятия и правила темы разобраны выше по шагам. Ниже — примеры заданий ОГЭ этого типа с полным разбором. Всё выверено под спецификацию и демоверсию ФИПИ-2026.

Где потренироваться в заданиях по теме «Логические высказывания»?

В тренажёре Совелия — задачи этого типа с мгновенной проверкой, подсказками и разбором именно твоей ошибки. Бесплатно, без рекламы, прогресс сохраняется.

Задания соответствуют ОГЭ-2026?

Да. Теория и задачи выверены по спецификации и демонстрационным вариантам ФИПИ 2026 года; правильность решений проверена независимым пересчётом по эталону.