
+

-

+3=

+

-

+2+1=

+

-

+

+

= 1 единица 4000 нулей

= 1 единица и 1000 нулей

= 1 единица и 250 нулей

= 1 единица и 1 ноль

= 1 единица без нулей
1) первое число - содержит 1 единицу (4001-ый разряд)
2) рассмотрим выражение

-

=(

-

)*
получается число
тут из числа с 1 единицей и 750 нулями вычитается 1 единица.
получается число, в котором 749 единиц и после них стоит 0
после этого умножаем на 2^250 - т.е. дописываем 250 нулей
т.о. получается, что данное выражение содержит 749 единиц (разряд от 252 до 1000) и 251 ноль
3) число 2^1 - содержит 1 единицу (во втором разряде)
4) число 2^0 - содержит 1 единицу (в 1 разряде)
т.к. единицы содержатся в разных разрядах, то для них действует простое сложение (битовое или)
1(1)0(3000)1(749)0(249)1(2)
1 единица, потом 3000 нулей, потом 749 единиц, затем 249 нулей и в конце 2 единицы
1+749+2=752 единицы