Задача #399

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

Определите наибольшее натуральное число A такое, что выражение

(x | 50 = x) ∨ (y & 34 ≠ 0) ∨ (z | 24 ≠ 24) ∨ (x*y*z > А div 8)

тождественно истинно (то есть принимает значение 1 при любых целых положительных значениях переменных x, y, z)?

Примечание: А div 8 означает результат целочисленного деления числа А на 8