Задание EGEINF881D6A: Логические выражения и уравнения

ФИПИ · ЕГЭ · все форматы ответа · 2475 заданий

Открыть решение ↓ Ошибка или пожелание

Тип задачи: Логические выражения и уравнения.

Учебные темы: Алгебра логики. Понятие высказывания. Высказывательные формы (предикаты). Кванторы существования и всеобщности. Логические операции. Таблицы истинности. Логические выражения. Логические тождества. Логические операции и операции над множествами. Законы алгебры логики. Эквивалентные преобразования логических выражений. Логические уравнения и системы уравнений. Логические функции. Зависимость количества возможных логических функций от количества аргументов. Канонические формы логических выражений.

Впишите правильный ответ.

Для какого наибольшего целого неотрицательного числа А выражение

 

(2x + y ≠ 70) \/ (x < y) \/ (A < x)

 

тождественно истинно, то есть принимает значение 1 при любых целых неотрицательных x и y?



i
СВОЙСТВА ЗАДАНИЯ
КЭС:
2.7 Алгебра логики. Понятие высказывания. Высказывательные формы (предикаты). Кванторы существования и всеобщности. Логические операции. Таблицы истинности. Логические выражения. Логические тождества. Логические операции и операции над множествами. Законы алгебры логики. Эквивалентные преобразования логических выражений. Логические уравнения и системы уравнений. Логические функции. Зависимость количества возможных логических функций от количества аргументов. Канонические формы логических выражений
2.8 Совершенные дизъюнктивные конъюнктивные нормальные формы, алгоритмы их построения по таблице истинности
2.9 Логические элементы в составе компьютера. Триггер. Сумматор. Многоразрядный сумматор. Построение схем на логических элементах по заданному логическому выражению. Запись логического выражения по логической схеме
Тип ответа:Краткий ответ
Номер: 881D6A
НЕ РЕШЕНО Ответить

Решение задания EGEINF881D6A

Ответ: 23

Исходное выражение: (2x+y ≠ 70) ∨ (x < y) ∨ (A < x).
По условию x и y — целые неотрицательные числа.
Дизъюнкция ложна только тогда, когда все её части ложны одновременно. Рассмотрим область, в которой части без нужного ограничения на A уже ложны. Именно в ней оставшаяся часть должна быть истинной.
Равенство 2x + y = 70 и условие x ≥ y делают первые две части ложными. Тогда необходимо A < x.
Из y ≤ x получаем 70 = 2x + y ≤ 3x. Наименьшее целое x, удовлетворяющее этой оценке, равно 24.
Граница достигается: x = 24, y = 70 − 2 · 24 = 22; оба числа неотрицательны и 24 ≥ 22.
Следовательно, для всех рассматриваемых пар достаточно и необходимо A < 24. Наибольшее целое A равно 24 − 1 = 23.

Проверка граничной пары: x = 24, y = 22. Найденное значение A = 23 сохраняет истинность формулы.
За пределами рассмотренной области хотя бы одна из остальных частей дизъюнкции истинна автоматически. Внутри области доказана необходимая оценка и показана достигающая её допустимая пара, поэтому проверка распространяется на все входные значения.
Ответ: 23.

Помочь улучшить сайт

Напишите пожелание к сайту или решению либо сообщите о найденной неточности в задании EGEINF881D6A.

Сообщение увидит только команда сайта: на странице оно не публикуется.

Комментарии к решению

Комментарии видны всем посетителям сайта.

Комментариев пока нет. Будьте первым.

Чтобы оставить комментарий, войдите или зарегистрируйтесь.