Условие задачи
Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n.
Для какого наибольшего целого числа А формула х&А≠0 → (x&42 = 0 → х&19≠0) тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной x)?
Ответ
Преобразуем выражение по законам алгебры логики:
Х (Y Z) = Х + (Y Z) = Х + Y + Z = X + (YZ) = YZ X.
Далее применяем обозначения и реализуем способ решения.
Имеем импликацию Z42Z19 ZA или Z42 or 1...