СДАМ ГИА: РЕШУ ЕГЭ
Образовательный портал для подготовки к экзаменам
Информатика
≡ информатика
сайты - меню - вход - новости




Задания
Версия для печати и копирования в MS Word
Задание 18 № 10481

Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n.

Так, например, 12&6 = 11002&01102 = 01002 = 4.

Для какого наибольшего целого числа А формула

 

х&А → (x&10 = 0 → х&3)

 

тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной x)?

Решение.

Преобразуем выражение по законам алгебры логики:

 

¬Х → (Y → ¬Z) = Х + (Y → ¬Z) = Х + ¬Y + ¬Z = X + ¬(YZ) = YZ → X.

 

Далее применяем обозначения и реализуем способ решения, изложенный К. Ю. Поляковым в теоретических материалах (см., например, раздел «Теория» на нашем сайте), без дополнительных пояснений.

Имеем импликацию Z10Z3 → ZA или Z(10 or 3) → ZA. Запишем числа 10 и 3 в двоичной системе счисления: 1010 = 10102, 310 = 112, найдем побитовую дизъюнкцию: 1011. Единичные биты, стоящие в правой части, должны являться единичными битами левой. Поэтому в правой части единичными битами независимо друг от друга могут быть (а могут не быть) только нулевой, первый и третий биты (как обычно, считая справа налево, начиная с нуля).

Тем самым, наибольшее А = 10112 = 1110.


Аналоги к заданию № 10481: 10508 Все