lgebra de boole

El lgebra de Boole es conocida como las matemticas de los sistemas digitales y se la

utiliza como una herramienta para analizar y simplificar sistemas lgicos.
El lgebra booleana es diferente del lgebra ordinaria, ya que solo se puede tener dos
valores posibles 0 y 1.
Los trminos variable, complemento y literal son trminos utilizados en el lgebra
booleana.
El estado de una variable est representado por el 0 y el 1 y se lo conoce como nivel
lgico normalmente representado por una letra mayscula. El complemento es el inverso
de una variable y se lo representa como una barra encima de la misma.
Suma booleana
La suma booleana es equivalente a la operacin OR. En el lgebra de Boole el trmino
suma es una suma de literales.
Tabla . Smbolo y tabla de verdad para una compuerta OR de tres entradas
Fuente Sistemas Digitales Principios y aplicaciones Ronald Tocci,2007
A

x= A+ B+C

0
0
0
0
0
0
1
1
0
1
0
1
0
1
1
1
1
0
0
1
1
0
1
1
1
1
0
1
1
1
1
1
De la tabla se puede apreciar que la operacin OR produce un resultado de 1 siempre
que cualquiera de sus entradas sea 1. En cualquier otro caso la salida ser 0.
La expresin

x= A+ B se lee como x es igual a A OR B. (Tocci, 2007)

Multiplicacin booleana
La multiplicacin booleana es equivalente a la operacin AND. En el lgebra de Boole, un
trmino producto es un producto de literales
Tabla . Tabla de verdad y smbolo para una compuerta AND de tres entradas
Fuente Sistemas Digitales Principios y aplicaciones Ronald Tocci,2007

x= ABC

0
0

0
0

0
1

0
0

0
0
1
1
1
1

1
1
0
0
1
1

0
1
0
1
0
1

0
0
0
0
0
1

En la tabla se muestra que un trmino producto es igual a 1 slo si cada uno de los
literales del trmino es 1. Un trmino producto es igual a 0 cuando uno o ms de los
literales son iguales a 0.
Operacin NOT
La operacin NOT es distinta a la operacin OR y AND, ya que puede realizarse sobre
una sola variable de entrada. Por ejemplo, si la variable est sujeta a la operacin NOT, el
resultado de x puede expresarse as:

x= A
La operacin NOT tambin se conoce como inversin o complementacin.
Leyes y Reglas de lgebra de Boole
Las leyes bsicas del lgebra de Boole son las mismas que el lgebra ordinaria.
Leyes conmutativas.

A + B=B+ A

AB=BA
Esta ley establece que el orden en que se aplica a las variables la operacin OR o AND
es indiferente.
Leyes asociativas.

A + ( B+C )=( A + B ) +C

A ( BC )=( AB ) C
Esta ley establece que el orden en que se aplica a las variables la operacin OR o AND a
ms de dos variables el resultado es el mismo independientemente de la forma en que se
agrupen las variables.
Ley distributiva

A ( B+C )= AB+ AC

Esta ley establece que aplicar la operacin OR a dos o ms variables y luego aplicar el
resultado AND al resultado de esa operacin y a otra variable aislada, es equivalente a
aplicar la operacin AND a la variable aislada con cada uno de los sumandos y luego
realizar la operacin OR con los productos resultantes.
Reglas del lgebra booleana
Tabla . Reglas bsicas del lgebra de Boole
Fuente Fundamentos de Sistemas Digitales, Thomas Floyd,2006 (Fundamentos de
Sistemas Digitales, 2006)

1.

A +0=A

7.

A . A= A

A . A=0

2.

A +1=1

8.

3.

A .0=0

9. A= A

4.

A .1= A

10. A + AB= A ( 1+B )= A

5.

A + A=A
6.

A + A=1
A ,BoC

11.

( A+ AB ) + A
B= A+ B
A + AB=

12.

( A+ B)( A +C)= A +BC

pueden representar una sola variable o una

combinacin de variables.
Mtodos de simplificacin
Una expresin booleana simplificada emplea el menor nmero de puertas en la
implementacin de una determinada expresin.
Ejemplo. Simplificar la siguiente expresin booleana

B C
AB+ AC + A
Paso 1. Aplicar el teorema de Morgan al primer trmino.

) ( AC
)

( AB
+ A BC
Paso 2. Aplicar el teorema de Morgan a cada uno de los trminos entre parntesis.

B
) ( A + C )+ A B C
( A+
Paso 3. Aplicar la ley distributiva a los dos trminos entre parntesis.

 C+
A
B+
B
C+
A
BC

A A + A

Paso 4. Aplicar la regla nmero 7 ( A . A= A ) al primer trmino y la regla 10
A
B C= A B ( 1+C )= A
B
]
[ A B+

a los trminos tercero y ltimo.

C+
A
B+
B
C

A + A
Paso 5. Aplicar la regla 10,

C=
A(1+

A
A + A
C)=
, a los trminos primero y segundo

B+
A C

A + A


Paso 6. Aplicar la regla 10 [ A + A B= A ( 1+ B )= A

a los trminos primero segundo.

C
A + B
Suma de productos
Cuando dos o ms productos se suman mediante la adicin booleana, la expresin
resultante se denomina suma de productos. Una suma de productos puede
implementarse con una puerta OR y dos o ms puertas AND.
En una expresin con formato de suma de productos, una barra no puede extenderse
sobre ms de una variable; sin embargo, ms de una variable puede tener una barra
encima. Por ejemplo, una suma de productos puede contener el trmino
el trmino

A B C

pero no

.
ABC

Conversin de una expresin general a formato de suma de productos.

Cualquier expresin lgica puede ser transformada a una expresin suma de productos
aplicando el lgebra de Boole. Por ejemplo, la expresin

AB+ B ( CD+ EF )= AB+ BCD+ BEF

Forma estndar de la suma de productos
Una suma de productos estndar es aquella en la que todas las variables del dominio
aparecen en cada uno de los trminos. Por ejemplo,

AB C
D

A B CD + A B C D+
es una

expresin de suma de productos estndar.

Conversin de suma de productos a su forma estndar
Paso 1. Multiplicar cada trmino producto no estndar por un trmino formado por la suma
de la variable que falta y su complemento. Con esto se obtiene dos trminos producto.
Paso 2. Repetir el paso 1 hasta que todos los trminos de la expresin contengan todas
las variables o sus complementos del dominio.

Producto de sumas.
Cuando dos o ms trminos suma se multiplican, la expresin resultante es un producto
de sumas. Por ejemplo,

B ) ( A + B+C

( A+
) . En una expresin producto de sumas, una

barra no puede extenderse nunca sobre ms de una variable, aunque ms de una

variable puede tener una barra encima. Por ejemplo, un producto de sumas puede
contener el trmino

A + B
pero no el

B
A+

Conversin de un producto de sumas a su forma estndar

Un producto de sumas estndar es aquel en el que todas las variables del dominio o su
complemento aparecen en cada uno de los trminos de la expresin. Por ejemplo

B+
C ) ( A+
B+C

( A+
)
Para convertir a un producto de sumas estndar se utiliza la regla booleana nmero 8:

A.A
=0.
Paso 1. Aadir a cada trmino suma no estndar un trmino formado por la variable que
le falta y su complemento. Esto da lugar a la aparicin de dos trminos suma.
Paso 2. Aplicar la regla booleana nmero 12:

A + BC= ( A+ B )( A+C ) .

Paso 3. Repetir el paso 1 hasta que todos los trminos suma resultantes contengan todas
las variables del dominio en su forma complementada o no complementada.
Conversin de una suma de productos estndar en un producto de sumas estndar.
Paso 1. Evaluar cada trmino producto de la expresin suma de productos. Es decir,
determinar los nmeros binarios que representan estos trminos.
Paso 2. Determinar todos los nmeros binarios no incluidos al realizar la evaluacin del
paso 1.
Paso 3. Escribir los trminos suma equivalente para cada valor binario del paso 2 y
expresarlos en forma producto de sumas.
Utilizando una forma similar, se puede pasar un producto de sumas a una suma de
productos.
Conversin de producto de suma a tabla de verdad
Un producto de sumas es igual a 0 slo si y slo si al menos uno de los trminos suma es
igual a 0. Para construir la tabla de verdad de un producto de sumas, basta con enumerar
todas las posibles combinaciones de valores binarios de las variables del mismo modo
que se hace en una suma de productos. Por ltimo, se escribe un 0 en la columna de
salida

( X ) para cada valor binario que hace que la suma de productos estndar sea 0,

y se escribe un 1 para los restantes valores binarios.

Ejemplo: desarrollar una tabla de verdad para la expresin producto de sumas estndar
siguiente

C)( A+ B+
C)(
A+
B+ C )( A + B +C)
( A + B+C )( A + B+
Tabla. tabla de verdad para la expresin

C)( A+ B+
C)(
A+
B+ C )( A + B +C)
( A + B+C )( A + B+

Entradas
A

Salida

Trmino suma

B
C

( A+ B+C)

0
0

0
1

1
0

1
0

( A+ B+C)

C)

( A+ B+

1
1

0
0

0
1

1
0

A + B+ C

A + B+C

1
1
1
1
De la tabla se puede observar que al existir tres variables en el dominio, existen 8
posibles combinaciones de valores binarios de las variables.
Conversin de una suma de productos a tabla de verdad
Una suma de productos es igual a 1 slo si y slo si al menos uno de los productos es
igual a 1. Para construir la tabla de verdad de una suma de productos, basta con
enumerar todas las posibles combinaciones de valores binarios de las variables. A
continuacin, hay que pasar la suma de productos a su formato estndar. Por ltimo, se
escribe un 1 en la columna de salida

( X ) para cada valor binario que hace que la suma

de productos estndar sea 1, y se escribe un 0 para los restantes valores binarios.

Ejemplo: desarrollar una tabla de verdad para la expresin de suma de productos
estndar siguiente

ABC
A B C + A B C+
Tabla. tabla de verdad para la expresin

Entradas

Salida
X

ABC
A B C + A B C+

Trmino producto

C
0
0

0
0

0
1

0
1

A B C

0
0
1

1
1
0

0
1
0

0
0
1

A B C

1
1
1

0
1
1

1
0
1

0
0
1

ABC