Тренировка задания 15 с поразрядной конъюнкцией 15.1

Дата изменения: 3 августа 2022
1:

Обозначим через m & n поразрядную конъюнкцию неотрицательных целых чисел m и n.
Так, например, 12 & 6 = 11002 & 01102 = 01002 = 4.

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

(х & А = 0) ∧ ¬(х & 25 ≠ 0 → х & 17 ≠ 0)

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

✍ Решение:
 

Ответ: 8
2:

Обозначим через m & n поразрядную конъюнкцию неотрицательных целых чисел m и n.
Так, например, 12 & 6 = 11002 & 01102 = 01002 = 4.

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

(х & 35 = 0) ∧ ¬(х & А = 0 → х & 31 = 0)

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

✍ Решение:
 

Ответ: 28
3:

Обозначим через m & n поразрядную конъюнкцию неотрицательных целых чисел m и n.
Так, например, 12 & 6 = 11002 & 01102 = 01002 = 4.

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

(х & А = 0) ∧ ¬(х & 35 ≠ 0 → х & 52 ≠ 0)

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

✍ Решение:
 

Ответ: 3
4:

Обозначим через m & n поразрядную конъюнкцию неотрицательных целых чисел m и n.
Так, например, 12 & 6 = 11002 & 01102 = 01002 = 4.

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

(х & 56 ≠ 0) ∧ ¬(х & А ≠ 0 ∨ х & 32 ≠ 0)

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

✍ Решение:
 

Ответ: 24

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *

*
*

Вставить формулу как
Блок
Строка
Дополнительные настройки
Цвет формулы
Цвет текста
#333333
Используйте LaTeX для набора формулы
Предпросмотр
\({}\)
Формула не набрана
Вставить