ФИПИ · ЕГЭ · все форматы ответа · 2475 заданий
Тип задачи: Логические выражения и уравнения.
| КЭС: | 2.7 Алгебра логики. Понятие высказывания. Высказывательные формы (предикаты). Кванторы существования и всеобщности. Логические операции. Таблицы истинности. Логические выражения. Логические тождества. Логические операции и операции над множествами. Законы алгебры логики. Эквивалентные преобразования логических выражений. Логические уравнения и системы уравнений. Логические функции. Зависимость количества возможных логических функций от количества аргументов. Канонические формы логических выражений 2.8 Совершенные дизъюнктивные конъюнктивные нормальные формы, алгоритмы их построения по таблице истинности 2.9 Логические элементы в составе компьютера. Триггер. Сумматор. Многоразрядный сумматор. Построение схем на логических элементах по заданному логическому выражению. Запись логического выражения по логической схеме |
| Тип ответа: | Краткий ответ |
Ответ: 63
Исходное выражение: (x · y > A) ∨ (x > y) ∨ (8 > x).
По условию x и y — целые неотрицательные числа.
Дизъюнкция ложна только тогда, когда все её части ложны одновременно. Рассмотрим область, в которой части без нужного ограничения на A уже ложны. Именно в ней оставшаяся часть должна быть истинной.
Вторая и третья части ложны при y ≥ x ≥ 8. Нижняя граница x учитывает строгость исходного сравнения и целочисленность.
На этой области xy ≥ x² ≥ 8² = 64. Минимум достигается при x = y = 8.
Чтобы xy > A было истинно для всех пар, необходимо и достаточно A < 64.
Наибольшее целое A: 64 − 1 = 63.
Проверка граничной пары: x = 8, y = 8. Найденное значение A = 63 сохраняет истинность формулы.
За пределами рассмотренной области хотя бы одна из остальных частей дизъюнкции истинна автоматически. Внутри области доказана необходимая оценка и показана достигающая её допустимая пара, поэтому проверка распространяется на все входные значения.
Ответ: 63.
Напишите пожелание к сайту или решению либо сообщите о найденной неточности в задании EGEINF19193D.
Сообщение увидит только команда сайта: на странице оно не публикуется.
Комментарии к решению
Комментарии видны всем посетителям сайта.
Комментариев пока нет. Будьте первым.
Чтобы оставить комментарий, войдите или зарегистрируйтесь.