Definiciones bsicas

Una variable booleana (e.g. x, y) es un smbolo que puede ser

substituido por un elemento del conjunto B= {0,1}
Una constante booleana es un valor perteneciente al conjunto {0,1}
Una expresin (e.g. x+y, xy, x) esta compuesta de variables,
constantes y operadores (e.g. +, , )
Una funcin booleana de n variables f(x1, x2, ..., xn) es un expresin o
formula que mapea f a un valor del conjunto booleano B (0 o 1)
Un literal es una variable o su complemento.

Definicin: el lgebra de Boole es un sistema algebraico cerrado que contiene:

Un conjunto de dos elementos {0, 1},

Dos operadores binarios {+, },
Un operador unitario { }.

El lgebra de Boole es la fundacin matemtica de los sistemas digitales.

Las operaciones del lgebra de Boole deben regirse por propiedades y reglas
lgicas llamados leyes o postulados.
Estos postulados se pueden usar para demostrar leyes mas generales sobre
expresiones booleanas.
Estos postulados tambin se usan para simplificar y optimizar expresiones
booleanas y sistemas digitales.
Una expresin algebraica de Boole consiste
Un conjunto de B
Operaciones binarias { + , }
Una operaciones unitaria { }
B tiene dos elementos : a, b y los siguientes postulados se cumplen:
Clausura: a + b esta en B, a b esta en B
Conmutatividad: a + b = b + a, a b = b a
Asociatividad: a + (b + c) = (a + b) + c a (b c) = (a b) c
Identidad: a + 0 = a, a 1 = a
Distributividad: a + (b c) = (a + b) (a + c) a (b + c) = (a b) + (a c)
Complementariedad: a + a = 1, a a = 0