Присоединиться

11 класс·средний уровень

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

Условие

Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n. Так, например, 14&5 = 1110₂&0101₂ = 0100₂ = 4.Для какого наименьшего неотрицательного целого числа А формула x&51 = 0 ∨ (x&41 = 0 → x&А = 0)тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной x)?

Ответ

Ответ и полный разбор откроются после входа

Посмотреть ответ

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

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

    Решение. Преобразуем выражение по законам алгебры логики:Х + (Y →

    Z) = Х + (¬Y +

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

    Z) = (Y →

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

    Заметим, что первое слагаемое логической суммы является импликацией Z₄₁ → Z₅₁, которая не является истинной для всех х (см. ниже). Тогда необходимо и достаточно, чтобы второе слагаемое логической суммы было тождественно истинным.

    Действительно, например, для х = 2 поразрядная конъюнкция с числом 41 дает 0, а с числом 51 дает

Осталось ещё 9 шагов

  1. Поэтому импликация (2&41) → (2&51) принимает…

  2. Высказывание 2&41 = 0 истинно. 2:…

  3. Высказывание 2&51 = 0 ложно. Итак, импликация…

  4. Приведем другое решение. Выражение x&51 = 0 ∨…

  5. истинно, если истинной является импликация…

  6. Импликация является истинной, если истинна ее…

  7. Поразрядная конъюнкция с нулем равна 0 для…

  8. or ((x and A) = 0)) then B := False; if B…

  9. Приведём решение Сергея Донец на…

Получить полное решение

Бесплатно · займёт минуту

Другие задачи по теме «Преобразование логических выражений»