ThmDex – An index of mathematical definitions, results, and conjectures.
P3817
Applying the result R1832: Cardinality of a finite cartesian product of finite sets, we have \begin{equation} \left| \{ 0, 1 \}^8 \right| = | \{ 0, 1 \} |^8 = 2^8 = 256 \end{equation} $\square$