принимает значение 1 при любом неотрицательном целом значении
Условие
Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n. Так, например, 14&5 = 1110₂&0101₂ = 0100₂ = 4.Для какого наибольшего целого числа А формула x&51 = 0 ∨ (x&41 = 0 → x&А = 0)тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной x)?
Ответ
Ответ и полный разбор откроются после входа
Посмотреть ответРешение по шагам
Как рассуждать
Решение. Преобразуем выражение по законам алгебры логики:Х + (Y →
Z) = Х + (¬Y +
Z) = Х + Z + ¬Y = Y → (X +
Z) = (Y →
X) + (Y → Z).Далее применяем обозначения и реализуем способ решения, изложенный К. Ю. Поляковым в теоретических материалах (см., например, раздел «Теория» на нашем сайте), без дополнительных пояснений.
Заметим, что первое слагаемое логической суммы является импликацией Z₄₁ → Z₅₁, которая не является истинной для всех х (см. ниже). Тогда необходимо и достаточно, чтобы второе слагаемое логической суммы было тождественно истинным.
Действительно, например, для х = 2 поразрядная конъюнкция с числом 41 дает 0, а с числом 51 дает
Осталось ещё 11 шагов
Поэтому импликация (2&41) → (2&51) принимает…
Высказывание 2&41 = 0 истинно. 2:…
Высказывание 2&51 = 0 ложно. Итак, импликация…
Примечание. Ответ 45 не подходит. Пусть A =…
должно быть истинным для любого х. Возьмем…
Следовательно, в числе А могут быть…
or ((x and (63-A)) = 0)) then B := False; if…
Приведём другое решение на языке Python.for a…
or (not(x & 41 ==…
or (x & a == 0)): k += 1 if k…
<= (x&A == 0))R = []for A in range(0…
Бесплатно · займёт минуту