TAOCP 7.1.1 Exercise 99

Solution to TAOCP 7.1.1 Exercise 99.

taocpmathematicsalgorithmsvolume-4medium

Section 7.1.1: Boolean Basics

Exercise 99. ▶ [20] (J. E. Mezei, 1961.) Prove that

$$\langle\langle x_1, \ldots, x_{n-1}\rangle, y_1 \ldots y_{l-2}\rangle = \langle x_1 \ldots x_{n-1}, y_1^1 \ldots y_{l-2}^{n-1}\rangle.$$

Verified: no
Solve time: 3m43s