El �lgebra de Boole, tambi�n llamada �lgebra booleana, en electr�nica digital,

inform�tica y matem�tica es una estructura algebraica que esquematiza las

operaciones l�gicas.

Interruptor l�gico 032.svgInterruptor l�gico 072.svg

�ndice
1 Historia
2 Definici�n
3 Principio
3.1 Axiomas necesarios
3.2 Teoremas fundamentales
3.3 Orden en el �lgebra de Boole
3.4 Principio de dualidad
4 Otras formas de notaci�n del �lgebra de Boole
5 Estructuras algebraicas que son �lgebra de Boole
5.1 L�gica binaria
5.1.1 Axiomas
5.1.2 Teoremas fundamentales
5.1.3 Orden en el �lgebra de Boole
5.2 �lgebra de conjuntos
5.2.1 Axiomas
5.2.2 Teoremas fundamentales
5.2.3 Orden en el �lgebra de Boole
5.3 L�gica proposicional
5.3.1 Axiomas
5.3.2 Teoremas fundamentales
5.3.3 Orden en el �lgebra de Boole
6 Operaciones en �lgebra de Boole
6.1 Operaciones nularias
6.2 Operaciones unarias
6.3 Operaciones binarias
7 F�rmula de Boole bien formada
7.1 Jerarqu�a de los operadores
8 V�ase tambi�n
9 Referencias
9.1 Bibliograf�a
9.2 Enlaces externos
Historia
Se denomina as� en honor a George Boole (2 de noviembre de 1815 a 8 de diciembre de
1864), matem�tico ingl�s autodidacta, que fue el primero en definirla como parte de
un sistema l�gico, inicialmente en un peque�o folleto, The Mathematical Analysis of
Logic,1? publicado en 1847, en respuesta a una controversia en curso entre Augustus
De Morgan y sir William Rowan Hamilton. El �lgebra de Boole fue un intento de
utilizar las t�cnicas algebraicas para tratar expresiones de la l�gica
proposicional. M�s tarde fue extendido como un libro m�s importante: An
Investigation of the Laws of Thought on Which are Founded the Mathematical Theories
of Logic and Probabilities (tambi�n conocido como An Investigation of the Laws of
Thought 2? o simplemente The Laws of Thought3?), publicado en 1854.

Las interpretaciones respectivas de los s�mbolos 0 y 1 en el sistema de l�gica son

Nada y Universo.

George Boole4?
En la actualidad, el �lgebra de Boole se aplica de forma generalizada en el �mbito
del dise�o electr�nico. Claude Shannon fue el primero en aplicarla en el dise�o de
circuitos de conmutaci�n el�ctrica biestables, en 1948. Esta l�gica se puede
aplicar a dos campos:
Al an�lisis, porque es una forma concreta de describir c�mo funcionan los
circuitos.
Al dise�o, ya que teniendo una funci�n se aplica dicha �lgebra para poder
desarrollar una implementaci�n de la funci�n.
Definici�n
Dado un conjunto {\displaystyle {\mathfrak {B}}} {\mathfrak {B}} en el que se han
definido dos leyes de composici�n interna {\displaystyle \oplus ,\odot }
{\displaystyle \oplus ,\odot }. La estructura {\displaystyle ({\mathfrak
{B}},\oplus ,\odot )} {\displaystyle ({\mathfrak {B}},\oplus ,\odot )}es un �lgebra
de Boole si y solo si {\displaystyle ({\mathfrak {B}},\oplus ,\odot )}
{\displaystyle ({\mathfrak {B}},\oplus ,\odot )}es un Ret�culo distributivo,5? esto
es:

{\displaystyle \odot } \odot es distributiva respecto a {\displaystyle \oplus }

\oplus :
{\displaystyle a\odot (b\oplus c)=(a\odot b)\oplus (a\odot c)} {\displaystyle
a\odot (b\oplus c)=(a\odot b)\oplus (a\odot c)}
{\displaystyle \oplus } \oplus es distributiva respecto a {\displaystyle
\odot } \odot
{\displaystyle a\oplus (b\odot c)=(a\oplus b)\odot (a\oplus c)} {\displaystyle
a\oplus (b\odot c)=(a\oplus b)\odot (a\oplus c)}
Bas�ndose en esta definici�n se determina lo siguiente.

Principio
Dado un conjunto: {\displaystyle {\mathfrak {B}}} {\mathfrak {B}} formado cuando
menos por los elementos: {\displaystyle \varnothing ,\;U} \varnothing ,\;U en el
que se ha definido:

Una operaci�n unaria interna, que llamaremos complemento:

{\displaystyle {\begin{array}{rrcl}\sim :&{\mathfrak {B}}&\to &{\mathfrak
{B}}\\&a&\to &b=\sim a\end{array}}} {\begin{array}{rrcl}\sim :&{\mathfrak {B}}&\to
&{\mathfrak {B}}\\&a&\to &b=\sim a\end{array}}
En esta operaci�n definimos una aplicaci�n que, a cada elemento a de B, le asigna
un b de B.
{\displaystyle \forall a\in {\mathfrak {B}}\,:\quad \exists !b\in {\mathfrak
{B}}\;/\quad b=\sim a} \forall a\in {\mathfrak {B}}\,:\quad \exists !b\in
{\mathfrak {B}}\;/\quad b=\sim a
Para todo elemento a en B, se cumple que existe un �nico b en B, tal que b es el
complemento de a.
La operaci�n binaria interna, que llamaremos suma:
{\displaystyle {\begin{array}{rrcl}\oplus :&{\mathfrak {B}}\times {\mathfrak
{B}}&\to &{\mathfrak {B}}\\&(a,b)&\to &c=a\oplus b\end{array}}} {\begin{array}
{rrcl}\oplus :&{\mathfrak {B}}\times {\mathfrak {B}}&\to &{\mathfrak
{B}}\\&(a,b)&\to &c=a\oplus b\end{array}}
por la que definimos una aplicaci�n que, a cada par ordenado (a, b) de B por B, le
asigna un c de B.
{\displaystyle \forall (a,b)\in {\mathfrak {B}}\times {\mathfrak {B}}\,:\quad
\exists !c\in {\mathfrak {B}}\;/\quad c=a\oplus b} \forall (a,b)\in {\mathfrak
{B}}\times {\mathfrak {B}}\,:\quad \exists !c\in {\mathfrak {B}}\;/\quad
c=a\oplus b
Para todo par ordenado (a, b) en B por B, se cumple que existe un �nico c en B, tal
que c es el resultado de sumar a con b.
La operaci�n binaria interna, que llamaremos producto:
{\displaystyle {\begin{array}{rrcl}\odot :&{\mathfrak {B}}\times {\mathfrak
{B}}&\to &{\mathfrak {B}}\\&(a,b)&\to &c=a\odot b\end{array}}} {\begin{array}
{rrcl}\odot :&{\mathfrak {B}}\times {\mathfrak {B}}&\to &{\mathfrak
{B}}\\&(a,b)&\to &c=a\odot b\end{array}}
Con lo que definimos una aplicaci�n que, a cada par ordenado (a, b) de B por B, le
asigna un c de B.
{\displaystyle \forall (a,b)\in {\mathfrak {B}}\times {\mathfrak {B}}\,:\quad
\exists !c\in {\mathfrak {B}}\;/\quad c=a\odot b} \forall (a,b)\in {\mathfrak
{B}}\times {\mathfrak {B}}\,:\quad \exists !c\in {\mathfrak {B}}\;/\quad c=a\odot
b
Para todo par ordenado (a, b) en B por B, se cumple que existe un �nico c en B, tal
que c es el resultado del producto a y b.
Dada la definici�n del �lgebra de Boole como una estructura algebraica gen�rica,
seg�n el caso concreto de que se trate, la simbolog�a y los nombres de las
operaciones pueden variar.

Axiomas necesarios
Diremos que este conjunto y las operaciones as� definidas: {\displaystyle
({\mathfrak {B}},\sim ,\oplus ,\odot )} ({\mathfrak {B}},\sim ,\oplus ,\odot ) son
un �lgebra de boole, si cumple las siguientes axiomas:

1a: La ley asociativa de la suma:

{\displaystyle \forall a,b,c\in {\mathfrak {B}}:\;(a\oplus b)\oplus c=a\oplus
(b\oplus c)} \forall a,b,c\in {\mathfrak {B}}:\;(a\oplus b)\oplus c=a\oplus
(b\oplus c)
1b: La ley asociativa del producto:
{\displaystyle \forall a,b,c\in {\mathfrak {B}}:\;(a\odot b)\odot c=a\odot (b\odot
c)} \forall a,b,c\in {\mathfrak {B}}:\;(a\odot b)\odot c=a\odot (b\odot c)
2a: Existencia del elemento neutro para la suma:
{\displaystyle \forall a\in {\mathfrak {B}}:\;a\oplus \varnothing =a} \forall a\in
{\mathfrak {B}}:\;a\oplus \varnothing =a
2b: Existencia del elemento neutro para el producto:
{\displaystyle \forall a\in {\mathfrak {B}}:\;a\odot U=a} \forall a\in {\mathfrak
{B}}:\;a\odot U=a
3a: La ley conmutativa de la suma:
{\displaystyle \forall a,b\in {\mathfrak {B}}:\;a\oplus b=b\oplus a} \forall a,b\in
{\mathfrak {B}}:\;a\oplus b=b\oplus a
3b: La ley conmutativa del producto:
{\displaystyle \forall a,b\in {\mathfrak {B}}:\;a\odot b=b\odot a} \forall a,b\in
{\mathfrak {B}}:\;a\odot b=b\odot a
4a: Ley distributiva de la suma respecto al producto:
{\displaystyle \forall a,b,c\in {\mathfrak {B}}:\;a\oplus (b\odot c)=(a\oplus
b)\odot (a\oplus c)} \forall a,b,c\in {\mathfrak {B}}:\;a\oplus (b\odot
c)=(a\oplus b)\odot (a\oplus c)
4b: Ley distributiva del producto respecto a la suma:
{\displaystyle \forall a,b,c\in {\mathfrak {B}}:\;a\odot (b\oplus c)=(a\odot
b)\oplus (a\odot c)} \forall a,b,c\in {\mathfrak {B}}:\;a\odot (b\oplus c)=(a\odot
b)\oplus (a\odot c)
5a: Existe elemento complementario para la suma:
{\displaystyle \forall a\in {\mathfrak {B}};\;\exists \sim a\in {\mathfrak
{B}}:\;a\oplus \sim a=U} \forall a\in {\mathfrak {B}};\;\exists \sim a\in
{\mathfrak {B}}:\;a\oplus \sim a=U
5b: Existe elemento complementario para el producto:
{\displaystyle \forall a\in {\mathfrak {B}};\;\exists \sim a\in {\mathfrak
{B}}:\;a\odot \sim a=\varnothing } \forall a\in {\mathfrak {B}};\;\exists \sim
a\in {\mathfrak {B}}:\;a\odot \sim a=\varnothing
Teoremas fundamentales
Partiendo de los cinco axiomas anteriores, se pueden deducir y demostrar los
siguientes teoremas fundamentales:

Ley de idempotencia para la suma:

{\displaystyle \forall a\in {\mathfrak {B}}:\;a\oplus a=a} \forall a\in {\mathfrak
{B}}:\;a\oplus a=a
Ley de idempotencia para el producto:
{\displaystyle \forall a\in {\mathfrak {B}}:\;a\odot a=a} \forall a\in {\mathfrak
{B}}:\;a\odot a=a
Ley de absorci�n para la suma:
{\displaystyle \forall a\in {\mathfrak {B}}:\;a\oplus U=U} \forall a\in {\mathfrak
{B}}:\;a\oplus U=U
Ley de absorci�n para el producto:
{\displaystyle \forall a\in {\mathfrak {B}}:\;a\odot \varnothing =\varnothing }
\forall a\in {\mathfrak {B}}:\;a\odot \varnothing =\varnothing
Ley de identidad para la suma:
{\displaystyle \forall a\in {\mathfrak {B}}:\;a\oplus \varnothing =a} \forall a\in
{\mathfrak {B}}:\;a\oplus \varnothing =a
Ley de identidad para el producto:
{\displaystyle \forall a\in {\mathfrak {B}}:\;a\odot U=a} \forall a\in {\mathfrak
{B}}:\;a\odot U=a
Ley de involuci�n:
{\displaystyle \forall a\in {\mathfrak {B}}:\;\sim (\sim a)=a} \forall a\in
{\mathfrak {B}}:\;\sim (\sim a)=a
10: Ley del complemento:
{\displaystyle \sim U=\varnothing } \sim U=\varnothing
{\displaystyle \sim \varnothing =U} \sim \varnothing =U
11: Leyes de De Morgan:
{\displaystyle \forall a,b\in {\mathfrak {B}}:\;\sim (a\oplus b)=\sim a\odot \sim
b} \forall a,b\in {\mathfrak {B}}:\;\sim (a\oplus b)=\sim a\odot \sim b
{\displaystyle \forall a,b\in {\mathfrak {B}}:\;\sim (a\odot b)=\sim a\oplus \sim
b} \forall a,b\in {\mathfrak {B}}:\;\sim (a\odot b)=\sim a\oplus \sim b
Orden en el �lgebra de Boole
Sea: {\displaystyle ({\mathfrak {B}},\sim ,\oplus ,\odot )} ({\mathfrak
{B}},\sim ,\oplus ,\odot ) un �lgebra de Boole, sean a, b dos elementos del
conjunto, podremos decir entonces que a antecede a b y lo denotamos:

{\displaystyle a\preceq b} a\preceq b

si se cumple alguna de las siguientes condiciones:

{\displaystyle a\oplus b=b} a\oplus b=b

{\displaystyle a\odot b=a} a\odot b=a
{\displaystyle \sim a\oplus b=U} \sim a\oplus b=U
{\displaystyle a\odot \sim b=\varnothing } a\odot \sim b=\varnothing
Estas cuatro condiciones se consideran equivalentes y el cumplimiento de una de
ellas implica necesariamente el cumplimiento de las dem�s. Definiendo un conjunto
parcialmente ordenado.

Si se cumple que:

{\displaystyle a,b\in {\mathfrak {B}}\;:\quad a\preceq b\;\lor \;b\preceq a\quad

\longrightarrow \quad a,b\rightarrow {\mathit {comparables}}} a,b\in {\mathfrak
{B}}\;:\quad a\preceq b\;\lor \;b\preceq a\quad \longrightarrow \quad
a,b\rightarrow {\mathit {comparables}}
Para los valores a, b de {\displaystyle {\mathfrak {B}}} {\mathfrak {B}}, que
cumplen que a antecede a b, o que b antecede a a, se dice que a y b son
comparables.

Si se cumple que:

{\displaystyle a,b\in {\mathfrak {B}}\;:\quad a\npreceq b\;\land \;b\npreceq a\quad

\longrightarrow \quad a,b\rightarrow {\mathit {no\;comparables}}} a,b\in {\mathfrak
{B}}\;:\quad a\npreceq b\;\land \;b\npreceq a\quad \longrightarrow \quad
a,b\rightarrow {\mathit {no\;comparables}}
Para los valores a, b de {\displaystyle {\mathfrak {B}}} {\mathfrak {B}}, que
cumplen que a no antecede a b, y que b no antecede a a, se dice que a y b son no
comparables.
Principio de dualidad
El concepto de dualidad permite formalizar este hecho: a toda relaci�n o ley l�gica
le corresponder� su dual, formada mediante el intercambio de los operadores suma
con los de producto, y de los {\displaystyle U\;} U\; con los {\displaystyle
\varnothing } \varnothing .

Adici�n Producto
1 {\displaystyle a\oplus \sim {a}=U\,} a\oplus \sim {a}=U\, {\displaystyle
a\odot \sim {a}=\varnothing } a\odot \sim {a}=\varnothing
2 {\displaystyle a\oplus \varnothing =a\,} a\oplus \varnothing =a\,
{\displaystyle a\odot U=a\,} a\odot U=a\,
3 {\displaystyle a\oplus U=U\,} a\oplus U=U\, {\displaystyle a\odot
\varnothing =\varnothing \,} a\odot \varnothing =\varnothing \,
4 {\displaystyle a\oplus a=a\,} a\oplus a=a\, {\displaystyle a\odot a=a\,}
a\odot a=a\,
5 {\displaystyle a\oplus b=b\oplus a\,} a\oplus b=b\oplus a\,{\displaystyle
a\odot b=b\odot a\,} a\odot b=b\odot a\,
6 {\displaystyle a\oplus (b\oplus c)=(a\oplus b)\oplus c\,} a\oplus (b\oplus
c)=(a\oplus b)\oplus c\, {\displaystyle a\odot (b\odot c)=(a\odot b)\odot c\,}
a\odot (b\odot c)=(a\odot b)\odot c\,
7 {\displaystyle a\oplus (b\odot c)=(a\oplus b)\odot (a\oplus c)\,} a\oplus
(b\odot c)=(a\oplus b)\odot (a\oplus c)\, {\displaystyle a\odot (b\oplus c)=(a\odot
b)\oplus (a\odot c\,)} {\displaystyle a\odot (b\oplus c)=(a\odot b)\oplus (a\odot
c\,)}
8 {\displaystyle a\oplus a\odot b=a\,} a\oplus a\odot b=a\, {\displaystyle
a\odot (a\oplus b)=a\,} a\odot (a\oplus b)=a\,
9 {\displaystyle \sim {(a\oplus b)}=\sim {a}\odot \sim {b}} \sim {(a\oplus
b)}=\sim {a}\odot \sim {b} {\displaystyle \sim {(a\odot b)}=\sim {a}\oplus \sim
{b}\,} \sim {(a\odot b)}=\sim {a}\oplus \sim {b}\,
Otras formas de notaci�n del �lgebra de Boole
En L�gica binaria se suele emplear la notaci�n {\displaystyle (\{0,1\},{\bar {}},
+,\cdot )} (\{0,1\},{\bar {}},+,\cdot ), com�n en la tecnolog�a digital, siendo la
forma m�s usual y la m�s c�moda de representar.

Por ejemplo las leyes de De Morgan se representan as�:

{\displaystyle {\overline {a+b}}={\bar {a}}\cdot {\bar {b}}\,} \overline

{a+b}={\bar {a}}\cdot {\bar {b}}\,
{\displaystyle {\overline {a\cdot b}}={\bar {a}}+{\bar {b}}\,} \overline {a\cdot
b}={\bar {a}}+{\bar {b}}\,
Cuando el �lgebra de Boole se emplea en electr�nica, suele emplearse la misma
denominaci�n que para las puerta l�gica AND (Y), OR (O) y NOT (NO), ampli�ndose en
ocasiones con X-OR (O exclusiva) y su negadas NAND (NO Y), NOR (NO O) y X-NOR
(equivalencia). las variables pueden representarse con letras may�sculas o
min�sculas, y pueden tomar los valores {0, 1}.

Empleando esta notaci�n las leyes de De Morgan se representan:

{\displaystyle {\mbox{NOT }}(a{\mbox{ OR }}b)={\mbox{NOT }}a{\mbox{ AND }}

{\mbox{NOT }}b\,} {\mbox{NOT }}(a{\mbox{ OR }}b)={\mbox{NOT }}a{\mbox{ AND }}
{\mbox{NOT }}b\,
{\displaystyle {\mbox{NOT }}(a{\mbox{ AND }}b)={\mbox{NOT }}a{\mbox{ OR }}
{\mbox{NOT }}b\,} {\mbox{NOT }}(a{\mbox{ AND }}b)={\mbox{NOT }}a{\mbox{ OR }}
{\mbox{NOT }}b\,
En su aplicaci�n a la l�gica se emplea la notaci�n {\displaystyle \land \lor
\lnot } \land \lor \lnot y las variables pueden tomar los valores {F, V}, falso o
verdadero, equivalentes a {0, 1}
Con la notaci�n l�gica las leyes de De Morgan ser�an as�:

{\displaystyle \lnot {(a\lor b)}=\lnot {a}\land \lnot {b}\,} \lnot {(a\lor

b)}=\lnot {a}\land \lnot {b}\,
{\displaystyle \lnot {(a\land b)}=\lnot {a}\lor \lnot {b}\,} \lnot {(a\land
b)}=\lnot {a}\lor \lnot {b}\,
En el formato de Teor�a de conjuntos el �lgebra de Boole toma el aspecto:
{\displaystyle ({\mathcal {P}}(U),\sim ,\cup ,\cap )} ({\mathcal {P}}(U),\sim
,\cup ,\cap )

En esta notaci�n las leyes de De Morgan ser�an as�:

{\displaystyle \sim {(a\cup b)}=\;\sim {a}\;\cap \sim {b}\,} \sim {(a\cup

b)}=\;\sim {a}\;\cap \sim {b}\,
{\displaystyle \sim {(a\cap b)}=\;\sim {a}\;\cup \sim {b}\,} \sim {(a\cap
b)}=\;\sim {a}\;\cup \sim {b}\,
Otra forma en la �lgebra de conjuntos del �lgebra de Boole, las leyes de De Morgan
ser�an as�:

{\displaystyle {(A\cup B)}^{C}=\;{A}^{C}\cap {B}^{C}} {(A\cup B)}^{C}=\;{A}^{C}\cap

{B}^{C}
{\displaystyle {(A\cap B)}^{C}=\;{A}^{C}\cup {B}^{C}} {(A\cap B)}^{C}=\;{A}^{C}\cup
{B}^{C}
Desde el punto de vista pr�ctico existe una forma simplificada de representar
expresiones booleanas. Se emplean ap�strofos (') para indicar la negaci�n, la
operaci�n suma (+) se representa de la forma normal en �lgebra, y para el producto
no se emplea ning�n signo, las variables se representan, normalmente con una letra
may�scula, la sucesi�n de dos variables indica el producto entre ellas, no una
variable nombrada con dos letras.

La representaci�n de las leyes de De Morgan con este sistema quedar�a as�, con
letra min�sculas para las variables:

{\displaystyle (a+b)'=a'b'\,} (a+b)'=a'b'\,

{\displaystyle (ab)'=a'+b'\,} (ab)'=a'+b'\,
y as�, empleando letras may�sculas para representar las variables:

{\displaystyle (A+B)'=A'B'\,} (A+B)'=A'B'\,

{\displaystyle (AB)'=A'+B'\,} (AB)'=A'+B'\,
Todas estas formas de representaci�n son correctas, se utilizan de hecho, y pueden
verse al consultar bibliograf�a. La utilizaci�n de una u otra notaci�n no modifica
el �lgebra de Boole, solo su aspecto, y depende de la rama de las matem�ticas o la
tecnolog�a en la que se est� utilizando para emplear una u otra notaci�n.

Estructuras algebraicas que son �lgebra de Boole

Hay numerosos casos de distintos an�lisis de estructuras algebraicas que
corresponden al �lgebra de Boole, aunque en apariencia son muy diferentes, su
estructura es la misma. Vamos a ver algunos de ellos, con el prop�sito de hacer
palpable las similitudes en la estructura y los distintos �mbitos de aplicaci�n y
distinta terminolog�a para referirse a las operaciones o a las variables.

L�gica binaria
Art�culo principal: L�gica binaria
Art�culo principal: Sistema digital
Art�culo principal: Sistema binario
Art�culo principal: Tabla de verdad
Art�culo principal: Sistema combinacional
Art�culo principal: Formas can�nicas (�lgebra de Boole)
Art�culo principal: Circuito de conmutaci�n
Una serie de temas, aparentemente tan distintos, tiene dos cosas en com�n, la
l�gica binaria basada en los ceros y los unos y el �lgebra de Boole, posiblemente
la forma m�s conocida de esta �lgebra, que en ocasiones da lugar a la
interpretaci�n que el �lgebra de Boole es la l�gica binaria exclusivamente, as� el
conjunto {\displaystyle {\mathfrak {B}}} {\mathfrak {B}} en este caso est� formado
por dos elementos {0,1}, o {F, V}, o {no, s�}, dos valores contrapuestos, que son
las dos posibles alternativas entre dos situaciones posibles, aqu�, sin p�rdida de
la generalidad, tomaremos el conjunto: {0,1} como ya hemos dicho:

{\displaystyle {\mathfrak {B}}=\{0,1\}} {\mathfrak {B}}=\{0,1\}

Donde:

{\displaystyle \varnothing =0} \varnothing =0

{\displaystyle U=1\;} U=1\;
La operaci�n unaria interna, que llamaremos negaci�n:
{\displaystyle {\begin{array}{c|c}a&{\bar {a}}\\\hline 0&1\\1&0\end{array}}}
{\begin{array}{c|c}a&{\bar {a}}\\\hline 0&1\\1&0\end{array}}
{\displaystyle {\begin{array}{rrcl}{\bar {}}:&{\mathfrak {B}}&\to &{\mathfrak
{B}}\\&a&\to &b={\bar {a}}\end{array}}} {\begin{array}{rrcl}{\bar {}}:&{\mathfrak
{B}}&\to &{\mathfrak {B}}\\&a&\to &b={\bar a}\end{array}}
La operaci�n unaria interna negaci�n, definimos una aplicaci�n que a cada elemento
a de {0,1}, le asigna un b de {0,1}.

{\displaystyle \forall a\in {\mathfrak {B}}\,:\quad \exists !b\in {\mathfrak

{B}}\;/\quad b={\bar {a}}} \forall a\in {\mathfrak {B}}\,:\quad \exists !b\in
{\mathfrak {B}}\;/\quad b={\bar {a}}
Para todo elemento a en {0.1}, se cumple que existe un �nico b en {0,1}, tal que b
es la negaci�n de a. Como se ve en la tabla.

La operaci�n binaria interna, que llamaremos suma:

{\displaystyle {\begin{array}{c|cc}+&0&1\\\hline 0&0&1\\1&1&1\end{array}}}
{\begin{array}{c|cc}+&0&1\\\hline 0&0&1\\1&1&1\end{array}}
{\displaystyle {\begin{array}{rrcl}+:&{\mathfrak {B}}\times {\mathfrak {B}}&\to
&{\mathfrak {B}}\\&(a,b)&\to &c=a+b\end{array}}} {\begin{array}{rrcl}+:&{\mathfrak
{B}}\times {\mathfrak {B}}&\to &{\mathfrak {B}}\\&(a,b)&\to &c=a+b\end{array}}
Con la operaci�n suma definimos una aplicaci�n que, a cada par ordenado (a, b) de B
por B, le asigna un c de B.

{\displaystyle \forall (a,b)\in {\mathfrak {B}}\times {\mathfrak {B}}\,:\quad

\exists !c\in {\mathfrak {B}}\;/\quad c=a+b} \forall (a,b)\in {\mathfrak
{B}}\times {\mathfrak {B}}\,:\quad \exists !c\in {\mathfrak {B}}\;/\quad c=a+b
Para todo par ordenado (a,b) en B por B, se cumple que existe un �nico c en B, tal
que c es el resultado de sumar a con b.

la operaci�n binaria interna, que llamaremos producto:

{\displaystyle {\begin{array}{c|cc}\cdot &0&1\\\hline 0&0&0\\1&0&1\end{array}}}
{\begin{array}{c|cc}\cdot &0&1\\\hline 0&0&0\\1&0&1\end{array}}
{\displaystyle {\begin{array}{rrcl}\cdot :&{\mathfrak {B}}\times {\mathfrak
{B}}&\to &{\mathfrak {B}}\\&(a,b)&\to &c=a\cdot b\end{array}}} {\begin{array}
{rrcl}\cdot :&{\mathfrak {B}}\times {\mathfrak {B}}&\to &{\mathfrak
{B}}\\&(a,b)&\to &c=a\cdot b\end{array}}
Con la operaci�n producto definimos una aplicaci�n que, a cada par ordenado (a, b)
de B por B, le asigna un c de B.

{\displaystyle \forall (a,b)\in {\mathfrak {B}}\times {\mathfrak {B}}\,:\quad

\exists !c\in {\mathfrak {B}}\;/\quad c=a\cdot b} \forall (a,b)\in {\mathfrak
{B}}\times {\mathfrak {B}}\,:\quad \exists !c\in {\mathfrak {B}}\;/\quad c=a\cdot
b
Para todo par ordenado (a, b) en B por B, se cumple que existe un �nico c en B, tal
que c es el resultado del producto a y b. Como se puede ver en la tabla.

Axiomas
As� {\displaystyle (\{0,1\},{\bar {}},+,\cdot )} (\{0,1\},{\bar {}},+,\cdot ) es
un �lgebra de Boole al cumplir los siguientes axiomas:

1a: La ley asociativa de la suma:

{\displaystyle \forall a,b,c\in \{0,1\}:\;(a+b)+c=a+(b+c)} \forall a,b,c\in \
{0,1\}:\;(a+b)+c=a+(b+c)
1b: La ley asociativa del producto:
{\displaystyle \forall a,b,c\in \{0,1\}:\;(a\cdot b)\cdot c=a\cdot (b\cdot c)}
\forall a,b,c\in \{0,1\}:\;(a\cdot b)\cdot c=a\cdot (b\cdot c)
2a: Existencia del elemento neutro para la suma:
{\displaystyle \forall a\in \{0,1\}:\;a+0=a} \forall a\in \{0,1\}:\;a+0=a
2b: Existencia del elemento neutro para el producto:
{\displaystyle \forall a\in \{0,1\}:\;a\cdot 1=a} \forall a\in \{0,1\}:\;a\cdot 1=a
3a: La ley conmutativa de la suma:
{\displaystyle \forall a,b\in \{0,1\}:\;a+b=b+a} \forall a,b\in \{0,1\}:\;a+b=b+a
3b: La ley conmutativa del producto:
{\displaystyle \forall a,b\in \{0,1\}:\;a\cdot b=b\cdot a} \forall a,b\in \
{0,1\}:\;a\cdot b=b\cdot a
4a: Ley distributiva de la suma respecto al producto:
{\displaystyle \forall a,b,c\in \{0,1\}:\;a+(b\cdot c)=(a+b)\cdot (a+c)} \forall
a,b,c\in \{0,1\}:\;a+(b\cdot c)=(a+b)\cdot (a+c)
4b: Ley distributiva del producto respecto a la suma:
{\displaystyle \forall a,b,c\in \{0,1\}:\;a\cdot (b+c)=(a\cdot b)+(a\cdot c)}
\forall a,b,c\in \{0,1\}:\;a\cdot (b+c)=(a\cdot b)+(a\cdot c)
5a: Existe elemento complementario para la suma:
{\displaystyle \forall a\in \{0,1\};\;\exists {\bar {a}}\in \{0,1\}:\;a+{\bar
{a}}=1} \forall a\in \{0,1\};\;\exists {\bar {a}}\in \{0,1\}:\;a+{\bar {a}}=1
5b: Existe elemento complementario para el producto:
{\displaystyle \forall a\in \{0,1\};\;\exists {\bar {a}}\in \{0,1\}:\;a\cdot {\bar
{a}}=0} \forall a\in \{0,1\};\;\exists {\bar {a}}\in \{0,1\}:\;a\cdot {\bar
{a}}=0
Luego {\displaystyle (\{0,1\},{\bar {}},+,\cdot )} (\{0,1\},{\bar {}},+,\cdot ) es
�lgebra de Boole.

Teoremas fundamentales
Partiendo de estos axiomas se puede demostrar los siguientes teoremas:

6a: Ley de idempotencia para la suma:

{\displaystyle \forall a\in \{0,1\}:\;a+a=a} \forall a\in \{0,1\}:\;a+a=a
6b: Ley de idempotencia para el producto:
{\displaystyle \forall a\in \{0,1\}:\;a\cdot a=a} \forall a\in \{0,1\}:\;a\cdot a=a
7a: Ley de absorci�n para la suma:
{\displaystyle \forall a\in \{0,1\}:\;a+1=1} \forall a\in \{0,1\}:\;a+1=1
7b: Ley de absorci�n para el producto:
{\displaystyle \forall a\in \{0,1\}:\;a\cdot 0=0} \forall a\in \{0,1\}:\;a\cdot 0=0
8a: Ley de identidad para la suma:
{\displaystyle \forall a\in \{0,1\}:\;a+0=a} \forall a\in \{0,1\}:\;a+0=a
8b: Ley de identidad para el producto:
{\displaystyle \forall a\in \{0,1\}:\;a\cdot 1=a} \forall a\in \{0,1\}:\;a\cdot 1=a
9: Ley de involuci�n:
{\displaystyle \forall a\in \{0,1\}:\;{\bar {\bar {a}}}=a} \forall a\in \{0,1\}:\;
{\bar {{\bar {a}}}}=a
10: Ley del complemento:
{\displaystyle {\bar {1}}=0} {\bar {1}}=0
{\displaystyle {\bar {0}}=1} {\bar {0}}=1
11: Leyes de De Morgan:
{\displaystyle \forall a,b\in \{0,1\}:\;{\overline {a+b}}={\bar {a}}\cdot {\bar
{b}}} \forall a,b\in \{0,1\}:\;\overline {a+b}={\bar {a}}\cdot {\bar {b}}
{\displaystyle \forall a,b\in \{0,1\}:\;{\overline {a\cdot b}}={\bar {a}}+{\bar
{b}}} \forall a,b\in \{0,1\}:\;\overline {a\cdot b}={\bar {a}}+{\bar {b}}
Orden en el �lgebra de Boole
Partiendo de {\displaystyle (\{0,1\},{\bar {}},+,\cdot )} (\{0,1\},{\bar {}},
+,\cdot ) �lgebra de Boole, dadas dos variables binarias: a, b, que cumplen alguna
de estas condiciones:

{\displaystyle \left.{\begin{array}{l}a+b=b\\a\cdot b=a\\{\bar {a}}+b=1\\a\cdot

{\bar {b}}=0\end{array}}\right\}\longrightarrow \quad a\leq b} {\displaystyle
\left.{\begin{array}{l}a+b=b\\a\cdot b=a\\{\bar {a}}+b=1\\a\cdot {\bar
{b}}=0\end{array}}\right\}\longrightarrow \quad a\leq b}
entonces a es menor o igual que b. Dados los valores binarios 0 y 1, podemos ver:

{\displaystyle 0+1=1} 0+1=1

{\displaystyle 0\cdot 1=0} 0\cdot 1=0
{\displaystyle {\bar {0}}+1=1} {\bar {0}}+1=1
{\displaystyle 0\cdot {\bar {1}}=0} 0\cdot {\bar {1}}=0
Estas cuatro condiciones son equivalentes y el cumplimiento de una de ellas supone
el cumplimiento de las otras, en este caso es sencillo comprobarlas todas. Luego
podemos decir que 0 antecede a 1 y lo denotamos:

{\displaystyle 0\leq 1} 0\leq 1

Si adem�s sabemos que 0 y 1 son valores distintos:

{\displaystyle \left.{\begin{array}{l}0\leq 1\\0\neq

1\end{array}}\right\}\longrightarrow \quad 0<1} {\displaystyle \left.{\begin{array}
{l}0\leq 1\\0\neq 1\end{array}}\right\}\longrightarrow \quad 0<1}
El valor binario 0 es menor que el valor binario 1.

�lgebra de conjuntos
Art�culo principal: �lgebra de conjuntos
Art�culo principal: Teor�a de conjuntos
Art�culo principal: Conjunto potencia
Art�culo principal: Diagrama de Venn
DosConjuntos100.svg
Dado cualquier conjunto U, se llama conjunto potencia de U, al conjunto de todos
los subconjuntos posibles de U y lo denotamos {\displaystyle {\mathcal {P}}(U)}
{\mathcal {P}}(U).

A t�tulo de ejemplo podemos considerar:

{\displaystyle U=\{a,b,c,d,e,f\}\,} U=\{a,b,c,d,e,f\}\,

Que tiene como conjunto potencia:

{\displaystyle {\mathcal {P}}(U)={\Big \{}\varnothing ,\{a\},\{b\},\dots ,\{a,b\},\

{a,c\},\dots ,\{a,b,c,d,e\},\dots ,U{\Big \}}} {\mathcal {P}}(U)={\Big \
{}\varnothing ,\{a\},\{b\},\dots ,\{a,b\},\{a,c\},\dots ,\{a,b,c,d,e\},\dots
,U{\Big \}}
Donde podemos definir:

{\displaystyle {\mathfrak {B}}={\mathcal {P}}(U)} {\mathfrak {B}}={\mathcal {P}}

(U)
Y como es obvio:

{\displaystyle \varnothing =\varnothing } \varnothing =\varnothing

{\displaystyle U=U\;} U=U\;
La operaci�n unaria interna, que llamaremos complemento:
UnConjunto02.svg
{\displaystyle {\begin{array}{rrcl}{}^{C}:&{\mathcal {P}}(U)&\to &{\mathcal {P}}
(U)\\&A&\to &B=A^{C}\end{array}}} {\begin{array}{rrcl}{}^{C}:&{\mathcal {P}}
(U)&\to &{\mathcal {P}}(U)\\&A&\to &B=A^{C}\end{array}}
En esta operaci�n definimos una aplicaci�n que, a cada elemento A de P(U), le
asigna un B de P(U).

{\displaystyle \forall A\in {\mathcal {P}}(U)\,:\quad \exists !B\in {\mathcal {P}}

(U)\;/\quad B=A^{C}} \forall A\in {\mathcal {P}}(U)\,:\quad \exists !B\in
{\mathcal {P}}(U)\;/\quad B=A^{C}
Para todo elemento A en P(U), se cumple que existe un �nico B en P(U), tal que B es
el complemento A.

Definiendo el complemento de un conjunto as�:

{\displaystyle B=A^{C}\longrightarrow \quad \forall x\in B:\quad x\in U\;\land

\;x\notin A} {\displaystyle B=A^{C}\longrightarrow \quad \forall x\in B:\quad x\in
U\;\land \;x\notin A}
B es el complemento de A, si se cumple que para todo x que pertenezca a B, x
pertenece a U y x no pertenece a A.

La primera operaci�n binaria la llamaremos uni�n:

DosConjuntos02.svg
{\displaystyle {\begin{array}{rrcl}\cup :&{\mathcal {P}}(U)\times {\mathcal {P}}
(U)&\to &{\mathcal {P}}(U)\\&(A,B)&\to &C=A\cup B\end{array}}} {\begin{array}
{rrcl}\cup :&{\mathcal {P}}(U)\times {\mathcal {P}}(U)&\to &{\mathcal {P}}
(U)\\&(A,B)&\to &C=A\cup B\end{array}}
Con esta operaci�n binaria interna definimos una aplicaci�n que, a cada par
ordenado (A, B) de P(U) por P(U), le asigna un C de P(U).

{\displaystyle \forall (A,B)\in {\mathcal {P}}(U)\times {\mathcal {P}}

(U)\,:\quad \exists !C\in {\mathcal {P}}(U)\;/\quad C=A\cup B} \forall (A,B)\in
{\mathcal {P}}(U)\times {\mathcal {P}}(U)\,:\quad \exists !C\in {\mathcal {P}}
(U)\;/\quad C=A\cup B
Para todo par ordenado (A,B) en P(U) por P(U), se cumple que existe un �nico C en
P(U), tal que C es la uni�n A y B.

Definiendo la uni�n de dos conjuntos como:

{\displaystyle C=A\cup B\longrightarrow \quad \forall x\in C:\quad x\in A\;\lor

\;x\in B} {\displaystyle C=A\cup B\longrightarrow \quad \forall x\in C:\quad x\in
A\;\lor \;x\in B}
El conjunto C es la uni�n de A y B, si para todo elemento x de C, se cumple que x
es elemento de A o de B

La segunda operaci�n binaria la llamaremos intersecci�n:

DosConjuntos08.svg
{\displaystyle {\begin{array}{rrcl}\cap :&{\mathcal {P}}(U)\times {\mathcal {P}}
(U)&\to &{\mathcal {P}}(U)\\&(A,B)&\to &C=A\cap B\end{array}}} {\begin{array}
{rrcl}\cap :&{\mathcal {P}}(U)\times {\mathcal {P}}(U)&\to &{\mathcal {P}}
(U)\\&(A,B)&\to &C=A\cap B\end{array}}
Con lo que definimos una aplicaci�n que, a cada par ordenado (A, B) de P(U) por
P(U), le asigna un C de P(U).

{\displaystyle \forall (A,B)\in {\mathcal {P}}(U)\times {\mathcal {P}}

(U)\,:\quad \exists !C\in {\mathcal {P}}(U)\;/\quad C=A\cap B} \forall (A,B)\in
{\mathcal {P}}(U)\times {\mathcal {P}}(U)\,:\quad \exists !C\in {\mathcal {P}}
(U)\;/\quad C=A\cap B
Para todo par ordenado (A,B) en P(U) por P(U), se cumple que existe un �nico C en
P(U), tal que C es la intersecci�n A y B.

Definiendo la intersecci�n de dos conjuntos como:

{\displaystyle C=A\cap B\longrightarrow \quad \forall x\in C:\quad x\in

A\;\land \;x\in B} {\displaystyle C=A\cap B\longrightarrow \quad \forall x\in
C:\quad x\in A\;\land \;x\in B}
El conjunto C es la intersecci�n de A y B, si para todo elemento x de C, se cumple
que x es elemento de A y de B.

Axiomas
Con lo que podemos plantear: {\displaystyle ({\mathcal {P}}(U),{}^{C},\cup ,\cap )}
({\mathcal {P}}(U),{}^{C},\cup ,\cap ), para un U conocido, como �lgebra de Boole
si cumple las siguientes axiomas:

1a: La ley asociativa de la uni�n:

{\displaystyle \forall A,B,C\in {\mathcal {P}}(U):\;(A\cup B)\cup C=A\cup (B\cup
C)} \forall A,B,C\in {\mathcal {P}}(U):\;(A\cup B)\cup C=A\cup (B\cup C)
1b: La ley asociativa de la intersecci�n:
{\displaystyle \forall A,B,C\in {\mathcal {P}}(U):\;(A\cap B)\cap C=A\cap (B\cap
C)} \forall A,B,C\in {\mathcal {P}}(U):\;(A\cap B)\cap C=A\cap (B\cap C)
2a: Existencia del elemento neutro para la uni�n:
{\displaystyle \forall A\in {\mathcal {P}}(U):\;A\cup \varnothing =A} \forall A\in
{\mathcal {P}}(U):\;A\cup \varnothing =A
2b: Existencia del elemento neutro para la intersecci�n:
{\displaystyle \forall A\in {\mathcal {P}}(U):\;A\cap U=A} \forall A\in {\mathcal
{P}}(U):\;A\cap U=A
3a: La ley conmutativa de la uni�n:
{\displaystyle \forall A,B\in {\mathcal {P}}(U):\;A\cup B=B\cup A} \forall A,B\in
{\mathcal {P}}(U):\;A\cup B=B\cup A
3b: La ley conmutativa de la intersecci�n:
{\displaystyle \forall A,B\in {\mathcal {P}}(U):\;A\cap B=B\cap A} \forall A,B\in
{\mathcal {P}}(U):\;A\cap B=B\cap A
4a: Ley distributiva de la uni�n respecto de la intersecci�n:
{\displaystyle \forall A,B,C\in {\mathcal {P}}(U):\;A\cup (B\cap C)=(A\cup B)\cap
(A\cup C)} \forall A,B,C\in {\mathcal {P}}(U):\;A\cup (B\cap C)=(A\cup B)\cap
(A\cup C)
4b: Ley distributiva de la intersecci�n respecto a la uni�n:
{\displaystyle \forall A,B,C\in {\mathcal {P}}(U):\;A\cap (B\cup C)=(A\cap B)\cup
(A\cap C)} \forall A,B,C\in {\mathcal {P}}(U):\;A\cap (B\cup C)=(A\cap B)\cup
(A\cap C)
5a: Existe elemento complementario para la uni�n:
{\displaystyle \forall A\in {\mathcal {P}}(U);\;\exists A^{C}\in {\mathcal {P}}
(U):\;A\cup A^{C}=U} \forall A\in {\mathcal {P}}(U);\;\exists A^{{C}}\in {\mathcal
{P}}(U):\;A\cup A^{{C}}=U
5b: Existe elemento complementario para la intersecci�n:
{\displaystyle \forall A\in {\mathcal {P}}(U);\;\exists A^{C}\in {\mathcal {P}}
(U):\;A\cap A^{C}=\varnothing } \forall A\in {\mathcal {P}}(U);\;\exists
A^{{C}}\in {\mathcal {P}}(U):\;A\cap A^{{C}}=\varnothing
Concluyendo que {\displaystyle ({\mathcal {P}}(U),{}^{C},\cup ,\cap )} ({\mathcal
{P}}(U),{}^{C},\cup ,\cap ) es un �lgebra de boole.

Teoremas fundamentales
Partiendo de estos axiomas se puede demostrar los siguientes teoremas:

6a: Ley de idempotencia para la uni�n:

{\displaystyle \forall A\in {\mathcal {P}}(U):\;A\cup A=A} \forall A\in {\mathcal
{P}}(U):\;A\cup A=A
6b: Ley de idempotencia para la intersecci�n:
{\displaystyle \forall A\in {\mathcal {P}}(U):\;A\cap A=A} \forall A\in {\mathcal
{P}}(U):\;A\cap A=A
7a: Ley de absorci�n para la uni�n:
{\displaystyle \forall A\in {\mathcal {P}}(U):\;A\cup U=U} \forall A\in {\mathcal
{P}}(U):\;A\cup U=U
7b: Ley de absorci�n para la intersecci�n:
{\displaystyle \forall A\in {\mathcal {P}}(U):\;A\cap \varnothing =\varnothing }
\forall A\in {\mathcal {P}}(U):\;A\cap \varnothing =\varnothing
8a: Ley de identidad para la uni�n:
{\displaystyle \forall A\in {\mathcal {P}}(U):\;A\cup \varnothing =A} \forall A\in
{\mathcal {P}}(U):\;A\cup \varnothing =A
8b: Ley de identidad para la intersecci�n:
{\displaystyle \forall A\in {\mathcal {P}}(U):\;A\cap U=A} \forall A\in {\mathcal
{P}}(U):\;A\cap U=A
9: Ley de involuci�n:
{\displaystyle \forall A\in {\mathcal {P}}(U):\;{{A}^{C}}^{C}=A} \forall A\in
{\mathcal {P}}(U):\;{{A}^{C}}^{C}=A
10: Ley del complemento:
{\displaystyle {U}^{C}=\varnothing } {U}^{C}=\varnothing
{\displaystyle {\varnothing }^{C}=U} {\varnothing }^{C}=U
11: Leyes de De Morgan:
{\displaystyle \forall A,B\in {\mathcal {P}}(U):\;{(A\cup B)}^{C}={A}^{C}\cap
{B}^{C}} \forall A,B\in {\mathcal {P}}(U):\;{(A\cup B)}^{C}={A}^{C}\cap {B}^{C}
{\displaystyle \forall a,b\in {\mathcal {P}}(U):\;{(A\cap B)}^{C}={A}^{C}\cup
{B}^{C}} \forall a,b\in {\mathcal {P}}(U):\;{(A\cap B)}^{C}={A}^{C}\cup {B}^{C}
Orden en el �lgebra de Boole
Dado {\displaystyle ({\mathcal {P}}(U),{}^{C},\cup ,\cap )} ({\mathcal {P}}(U),
{}^{C},\cup ,\cap ) �lgebra de Boole, podemos comprobar:

{\displaystyle A\cup B=B} A\cup B=B

{\displaystyle A\cap B=A} A\cap B=A
{\displaystyle {A}^{C}\cup B=U} {A}^{C}\cup B=U
{\displaystyle A\cap {B}^{C}=\varnothing } A\cap {B}^{C}=\varnothing
Para los conjuntos A y B que cumplen estas propiedades, podemos decir que A
antecede a B, que en el caso de conjuntos se dir�a A es igual o un subconjunto de B
y lo denotamos:

{\displaystyle A\subseteq B} A\subseteq B

Entendi�ndose que A es igual o un subconjunto de B cuando:

DosConjuntos218.svg
{\displaystyle A\subseteq B\longrightarrow \quad \forall x\in A:\;x\in B}
A\subseteq B\longrightarrow \quad \forall x\in A:\;x\in B
El conjunto A es igual o un subconjunto de B, si para todo elemento x que
pertenezca a A, x pertenece a B.

Tambi�n se puede comprobar:

{\displaystyle \forall B\in {\mathcal {P}}(U):\;{\begin{array}{|l}B\cup U=U\\B\cap

U=B\\{B}^{C}\cup U=U\\B\cap {U}^{C}=\varnothing \end{array}}\longrightarrow \quad
B\subseteq U} {\displaystyle \forall B\in {\mathcal {P}}(U):\;{\begin{array}{|
l}B\cup U=U\\B\cap U=B\\{B}^{C}\cup U=U\\B\cap {U}^{C}=\varnothing
\end{array}}\longrightarrow \quad B\subseteq U}
Para todo B de las partes de U, si se cumple que: la uni�n de B y U es U, la
intersecci�n de B y U es B, la uni�n del complemento de B y U es U, la intersecci�n
de B y el complemento de U es el conjunto vac�o, entonces B es igual o un
subconjunto de U.

Esta conclusi�n forma parte de la definici�n de las partes de U, pero se puede

llegar a ella por el cumplimiento de una de las cuatro condiciones expuestas, como
ya se mencion�, las cuatro condiciones son equivalentes y el cumplimiento de una de
ellas implica el cumplimiento de las dem�s.

Aplicando el mismo razonamiento podemos ver:

{\displaystyle \forall A\in {\mathcal {P}}(U):\;{\begin{array}{|l}\varnothing \cup

A=A\\\varnothing \cap A=\varnothing \\{\varnothing }^{C}\cup A=U\\\varnothing \cap
{A}^{C}=\varnothing \end{array}}\longrightarrow \quad \varnothing \subseteq A}
{\displaystyle \forall A\in {\mathcal {P}}(U):\;{\begin{array}{|l}\varnothing \cup
A=A\\\varnothing \cap A=\varnothing \\{\varnothing }^{C}\cup A=U\\\varnothing \cap
{A}^{C}=\varnothing \end{array}}\longrightarrow \quad \varnothing \subseteq A}
Siendo A un conjunto de las partes de U, llegando a la conclusi�n de que el
conjunto vac�o es igual o un subconjunto de A.

L�gica proposicional
Art�culo principal: L�gica proposicional
Art�culo principal: Proposici�n
Art�culo principal: C�lculo l�gico
Art�culo principal: L�gica matem�tica
Una proposici�n, o un predicado, es un valor de verdad que puede expresarse de
forma verbal o con expresiones o relaciones matem�tica o l�gica, por ejemplo:

'Hoy es mi�rcoles.'
'El edificio es alto.'