170
правок
Изменения
м
Отрицания теперь в виде чёрточек.
Для любого <tex>x \geq 2^n \enskip L_x = 1M_y</tex>, где <tex>y = 2^{n+1} - 1 - x = \neg x</tex>, то есть
<tex>L_x = 1(\neg overline {x_{n-1} \neg x_{n-2}... \neg x_{0}} \oplus 0 \neg overline {x_{n-1} \neg x_{n-2}... \neg x_{1}}) =</tex><tex> 1(\neg overline {x_{n-1}}x_{n-2}...x_{0} \oplus 0x_{n-1}x_{n-2}...x_{1}) =</tex>
<tex>= 1(x_{n-1}x_{n-2}...x_{0} \oplus 1x_{n-1}x_{n-2}...x_{1}) = 1x_{n-1}x_{n-2}...x_{0}</tex>
