Brenda Fuentes Vzquez

2CV9
Practica 2
INTROUCCION
El Algebra de Boole es toda clase o conjunto de elementos que pueden tomar dos calores
perfectamente diferenciados, que designaremos por 0 y 1 y que estn relacionados por dos
operaciones binarias denominadas suma (+) y producto (.). La operacin producto se indica
generalmente mediante la ausencia de smbolo entre dos variables lgicas.
La operacin suma se asimila a la conexin en paralelo de contactos y la operacin producto a la
conexin serie. El inverso de un contacto es otro cuyo estado es siempre el opuesto del primero,
es decir est cerrado cuando aquel est abierto y viceversa. El elemento 0 es un contacto que
est siempre abierto y el elemento 1 un contacto que est siempre cerrado. Adems se
considera una funcin de transmisin entre los dos terminales de un circuito de contactos, que
toma el valor 1, cuando existe un camino para la circulacin de corriente entre ellos (corto
circuito) y el valor 0 si no existe dicho camino (circuito abierto).

Las operaciones booleanas estn regidas por leyes similares a las del lgebra convencional.
Estas incluyen las leyes conmutativas de la suma y la multiplicacin y la ley distributiva.
Teoremas bsicos y propiedades de algebra booleana
o

P1 El lgebra booleana es cerrada bajo las operaciones AND, OR y NOT

P2 El elemento de identidad con respecto a es uno y con respecto a + es cero. No existe

elemento
de identidad para el operador NOT

P3 Los operadores

y + son conmutativos.

Brenda Fuentes Vzquez

2CV9
Practica 2
o

P4 y + son distributivos uno con respecto al otro, esto es, A (B+C) = (AB)+(AC) y A+
(BC) = (A+B) (A+C).

P5 Para cada valor A existe un valor A' tal que AA' = 0 y A+A' = 1. ste valor es el
complemento lgico de A.

P6

y + son ambos asociativos, sto es, (AB) C = A (BC) y (A+B)+C = A+ (B+C).

Es posible probar todos los teoremas del lgebra booleana utilizando stos postulados, adems
es buena idea familiarizarse con algunos de los teoremas ms importantes de los cuales
podemos mencionar los siguientes:
o Teorema 1: A + A = A
o

Teorema 2: A A = A

Teorema 3: A + 0 = A

Teorema 4: A 1 = A

Teorema 5: A 0 = 0

Teorema 6: A + 1 = 1

Teorema 7: (A + B)' = A' B'

Teorema 8: (A B)' = A' + B'

Teorema 9: A + A B = A

Teorema 10: A (A + B) = A

Teorema 11: A + A'B = A + B

Teorema 12: A' (A + B') = A'B'

Teorema 13: AB + AB' = A

Teorema 14: (A' + B') (A' + B) = A'

Teorema 15: A + A' = 1

Teorema 16: A A' = 0

Funciones booleanas
Una funcin de algebra de Boole es una variable binaria cuyo valor es igual al de una expresin
algebraica en la que se relacionan entre si las variables binarias por medio de las operaciones
bsicas. Producto lgico, suma lgica e inversin.

Brenda Fuentes Vzquez

2CV9
Practica 2
Se representa una funcin lgica por la expresin F=f(a,b,c,); El valor lgico de f, depende de
las variables a,b,c
Se llama trmino cannico de una funcin lgica a todo producto o suma en la cual aparecen
todas las variables en su forma directa o inversa. Al primero de ellos se le llama producto
cannico (miniterminos) y al segundo suma cannica (maxiterminos).

Ejemplos