принимает значение 1 при любом неотрицательном целом значении

Решение по шагам

1. 1

   Как рассуждать

   Решение. Преобразуем выражение по законам алгебры логики:¬Х → (Y → ¬Z) = Х + (Y → ¬Z) = Х + ¬Y + ¬Z = X + ¬(YZ) = YZ → X.Далее применяем обозначения и реализуем способ решения, изложенный К. Ю. Поляковым в теоретических материалах (см., например, раздел «Теория» на нашем сайте) без дополнительных пояснений.

   Имеем импликацию Z₉Z_A → Z₂₅ или Z_((9 or A)) → Z₂₅. Запишем число 25 в двоичной системе счисления: 25₁₀ = 11001₂. Единичные биты, стоящие в правой части, должны являться единичными битами левой. Поскольку 9₁₀ = 01001₂, двоичная запись искомого числа А должна содержать единичный бит в четвертом разряде (как обычно, считая справа налево, начиная с нуля).Таким образом, наименьшее А = 10000₂ = 16₁₀. Приведём другое решение.

   Решим задание с помощью языка программирования PascalABC методом перебора:var A, x: integer; B: boolean;begin for A := 0 to 31 do begin B := True; for x := 0 to 31 do if not (((x and