Обозначим через m&nm \& nm&n поразрядную конъюнкцию неотрицательных целых чисел mmm и nnn. Например, 14&5=11102&01012=01002=414 \& 5 = 1110_2 \& 0101_2 = 0100_2 = 414&5=11102&01012=01002=4.
Для какого наименьшего неотрицательного целого числа AAA формула
¬(x&39=0)→(x&11≠0∨x&A≠0)\neg(x \& 39 = 0) \to (x \& 11 \neq 0 \lor x \& A \neq 0)¬(x&39=0)→(x&11=0∨x&A=0)
тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной xxx)?
.svg){kind=small}
.svg){kind=small}
.svg){kind=small}
