1. Главная
  2. Библиотека
  3. Информатика
  4. Введём выражение M & K, обозначающее поразрядную конъюнкцию M и K (логическое «И» между соответствующими битами двоичной з...

Введём выражение M & K, обозначающее поразрядную конъюнкцию M и K (логическое «И» между соответствующими битами двоичной записи). Определите наименьшее натуральное число a, такое что выражение

«Введём выражение M & K, обозначающее поразрядную конъюнкцию M и K (логическое «И» между соответствующими битами двоичной записи). Определите наименьшее натуральное число a, такое что выражение»
  • Информатика

Условие:

Введём выражение M & K, обозначающее поразрядную конъюнкцию M и K (логическое «И» между соответствующими битами двоичной записи). Определите наименьшее натуральное число a, такое что выражение

( x & 125 ≠  1) ∨  ((x & 34 = 2) → (x & a = 0))

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

Решение:

1) перепишем выражение в виде

где Z124 = (x 124 = 0), Z1 = (x 1 = 0), Z2 = (x 2 = 0), A = (x a = 0)

2) раскроем импликацию по формуле

Не нашел нужную задачу?

Воспользуйся поиском

Выбери предмет