Axiomas necesarios Diremos que este conjunto y las operaciones as definidas: lgebra de boole, si cumple las siguientes axiomas:

1a: La ley asociativa de la suma: Teoremas fundamentales Partiendo de los cinco axiomas anteriores, se pueden deducir y demostrar los siguientes teoremas fundamentales: 6a: Ley de idempotencia para la suma: son un 5b: Existe elemento complemento para el producto:

1b: La ley asociativa del producto:

2a: Existencia del elemento neutro para la suma: 6b: Ley de idempotencia para el producto:

2b: Existencia del elemento neutro para el producto: 7a: Ley de absorcin para la suma:

3a: La ley conmutativa de la suma: 7b: Ley de absorcin para el producto:

3b: La ley conmutativa del producto:

8a: ley de identidad para la suma:

4a: Ley distributiva de la suma respecto al producto:

8b: ley de identidad para el producto:

4b: Ley distributiva del producto respecto a la suma:

9: Ley de involucin:

5a: Existe elemento complemento para la suma:

10: Ley del complemento:

7 8 11: Leyes de De Morgan: 9

Orden en el lgebra de Boole Sea: un lgebra de Boole, sean a, b dos elementos del conjunto, podremos decir entonces que a antecede a b y lo denotamos:

si se cumple alguna de las siguientes condiciones: 1. 2. 3. 4. Estas cuatro condiciones se consideran equivalentes y el cumplimiento de una de ellas implica necesariamente el cumplimiento de las dems. Definiendo un conjunto parcialmente ordenado. Principio de dualidad El concepto de dualidad permite formalizar este hecho: a toda relacin o ley lgica le corresponder su dual, formada mediante el intercambio de los operadores suma con los de producto, y de los con los . Adicin 1 2 3 4 5 6 Producto