Lo que escribí demuestra que para un Álgebra concreta, sea
\[B_n=\left\{\left(a_1,a_2,a_3,\ldots,a_n\right)\right\},\]
donde a_k es un entero 0 o 1 para cada k (1 ≤ k ≤ n), y sus operaciones + y ·
A partir de acá hay que demostrar que cualquier Álgebra de Boole es isomorfa a un Álgebra de Boole de partes de un conjunto, y de ahí es inmediato que el cardinal es 2^n.
Para el primer caso demostraremos que cualquier Álgebra de Boole finita es isomorfa a un Álgebra de Boole B_n, para algún n > 0.
Prueba: Sea B un Álgebra de Boole y sean \[e_1,e_2,e_3,\ldots,e_n\] sus mínimos elementos de B. Tenemos que para todo x ∈ B, x tiene una única expresión lineal \[x=c_1\cdot e_1+c_2\cdot e_2+c_3\cdot e_3+\ldots c_n\cdot e_n,\] donde c_k = 0 o c_k = 1 para cada k (1 ≤ k ≤ n) (Se puede demostrar pero no lo haremos).
Luego definamos una correspondencia \[\phi:B\to B_n\] como sigue: \[\phi(x)=\left(a_1,a_2,a_3,\ldots,a_n\right),\] donde a_k = 0 si c_k = 0 y a_k = 1 si c_k = 1, para cada k (1 ≤ k ≤ n).
Si aceptamos los elementos 1 y 0 dentro de B como enteros de B_n, sencillamente podemos definir \[\phi(x)=\left(c_1,c_2,c_3,\ldots,c_n\right).\]
Es obvio que la correspondencia φ es 1-1.
Además, porque para cada k (1 ≤ k ≤ n)
\[e_k+0=e_k,\quad e_k+e_k=e_k,\quad e_k\cdot 0=e_k,\quad e_k\cdot e_k=e_k,\]
podemos verificar que para todo x, y ∈ B
\[\phi(x+y)=\phi(x)+\phi(y)\quad\textrm{y}\quad\phi(x\cdot y)=\phi(x)\cdot \phi(y).\]
Esto es porque los elementos de ambos lados de las ecuaciones tiene las mismas expresiones de coordenadas.
También es fácil verificar que
\[\phi\left(x'\right)={[\phi(x)]}'.\]
Omitimos la prueba.
Por lo tanto B es isomorfo a B_n para algún entero entero n > 0.
Para el segundo caso, es decir el cardinal de cualquier Álgebra de Boole finita es 2^n para algún entero positivo n, es la misma que la que se encuentra en el PDF.