Fundamentos

de Algebra
Booleana
Los sistemas Lógicos Digitales

•Se utilizan para poder procesar información:

•Clasificar, almacenar, organizar e intercambiar.
•Tomar decisiones.

•Ejemplo: Encender o apagar un calefactor:

•Control ON/OFF.
•Encendido toma 2 valores: F/V; ‘0’ ó ‘1’
•Dos valores posibles: SISTEMA BINARIO.
¿Qué es una variable booleana?
Es una variable que sólo puede tomar dos valores.
Estos valores pueden ser 0 y 1

Los nombres válidos de variables booleanas son:

Ejemplos
Una sola letra
A
Mayúsculas y minúsculas a
A1
Con/sin subíndices a1
 Existen tres operaciones básicas en el
álgebra booleana:

AND(Y) NOT(NO)

OR(O)

Una cuarta función booleana:

XOR(O-excluyente )
Sistemas lógicos: Compuertas lógicas
Fundamentos de teoría de conjuntos:

A C B A B

C = A “y” B C = A “ó” B

A B A

C = A “ó excluyente” B C = complemento (A)

Compuertas lógicas

Símbolos de las funciones lógicas:

X X
Z Y Z
Y
Z  X  Y  XandY Z  X  Y  XorY

X X Y
Y Z
Z  X  Y  XxorY Y  X  not ( X )
La operación AND actúa sobre dos
operandos. Ejemplo:
A•B=AB=A ∧ B=A AND B
Su definición es:
¿Qué podemos observar de
A B A•B los valores de A y B en la
tabla de verdad?
0 0 0
0 1 0 Como podemos apreciar, ambos
1 0 0 valores necesitan ser 1 para que
1 1 1 el resultado nos de 1.
La operación OR también actúa sobre dos
operandos. Ejemplo:
A+B=A ∨ B=A OR B

Su definición es: ¿Qué podemos observar de

los valores de A y B en la
A B A+B tabla de verdad?

0 0 0 Como podemos apreciar, cuando

0 1 1 alguno de los dos tome el valor
1 0 1 de 1, entonces el resultado sera 1
1 1 1
La operación NOT actúa sobre un solo
operando. Ejemplo:
A’=Ã=NOT A
Su definición es:
¿Qué podemos observar?
A A’ Como podemos checar, la operación
1 NOT tomará el valor de 1 cuando el
0
1 0 operando tenga el valor de 0 y
viceversa.
La operación XOR actúa sobre dos
operandos. Ejemplo:
A + B = (/A AND B) OR (A AND /B)

Su definición es: ¿Qué podemos observar de

los valores de A y B en la
A B A+B tabla de verdad?

0 0 0 Como podemos apreciar, cuando

0 1 1 alguno de los dos tome el valor
1 0 1 de 1, entonces el resultado sera 1
1 1 0
Compuertas lógicas
Usando varias compuertas lógicas se puede construir funciones más
elaboradas:
X1 X2 X3 F

0 0 0 0
F_int
X1 0 0 1 0

X2 F 0 1 0 0
X3
0 1 1 1

1 0 0 0
F = F_int AND X3 1 0 1 1

F = (X1 + X2) * X3 1 1 0 0

1 1 1 1
Compuertas lógicas

Ejemplo: Análisis de una red lógica:

0, 0, 1, 1 1, 1, 0, 0
X1 1, 1, 0, 1
A
F
B
X2 0, 0, 0, 1
0, 1, 0, 1

F  not ( X 1)or ( X 1andX 2)

F  X 1  ( X 1 X 2)
TE 1010
Compuertas lógicas
Ejemplo: Análisis de una red lógica:

Diagrama de tiempo (cronograma):

X1 X2 F
X1
0 0 1

X2 0 1 1

A 1 0 0

1 1 1
B

Brown/Vranesic. “Fundamentals of logic design”.

TE 1010
Álgebra de Boole
George Boole, Matemático Autodidacta
británico nacido en Lincoln, Reino Unido, 1815.
• Profesor en el Queen’s College.
• Fundador de su propio colegio.

El álgebra booleana o álgebra de Boole define las reglas básicas de

manipulación y simplificación de funciones lógicas.
Este tipo de álgebra fue creada en 1849 por George Boole (de ahí su
nombre).
Sin embargo, los principios desarrollados por Boole no fueron usados dentro
de la rama de la ingeniería sino 100 años después.
En 1930, Claude Shannon demostró que los principios de Boole podían ser
usados para describir circuitos a base de switches, es decir, circuitos lógicos.
Jerarquía de las operaciones

Al evaluar una expresión booleana, deben de realizarse las

operaciones de acuerdo a su jerarquía

La jerarquía de las operaciones es:

1. Operación NOT
2. Operación AND

3. Operación OR
Ejemplo:
Considera la evaluación de las siguientes expresiones
booleanas
Ejemplo1: A=1, B=0 y C=0
AB+BC’+AB’
1 0 +0 0’+ 1 0’ Sustituimos los valores.

1 0 +0 1 + 1 1 Evaluación de los NOTs

0 + 0 + 1 Evaluación de los ANDs

0 + 1
1 Evaluación de los ORs

Ejemplo2: A=1, B=0 y C=0
A(BC’+C’(B’+A’))+A’B
1 (0 0’ +0’(0’ +1’))+ 1’ 0
1 (0 0’ +0’(1 + 0 )) + 1’ 0
1 (0 0’ + 0’1) + 1’ 0
1 (0 1 + 11) + 1’ 0
1 ( 0 + 1) + 1’ 0
11 + 1’0
11 + 0 0
1 + 0
1 Evaluamos el OR
Si existen paréntesis, se deben
resolver primero los más internos y
trabajar hacia afuera.
Sustituimos los valores.
Evaluación paréntesis más
interno.
Evaluamos los siguientes paréntesis
Evaluamos el NOT
Evaluamos los ANDs
Funciones booleanas
¿Qué es una función booleana?

Es una relación lógica entre una o más variables.

También es una variable booleana cuyo valor depende de los valores de

las variables independientes.
Ejemplos:

F(A, B)= AB’ + A’B

F(A,B)=(A+B)(A’+B)

Y(A, B, C)= A’(B’+C)+B’(AC+A’)

Término
¿Qué es un término?
Un término consta de una o más variables unidas por la
operación AND. Las variables pueden aparecer
complementadas o no.

Ejemplos:

A A’BC’
AB XY’Z’W
Minitérmino
Un minitérmino es un término que contiene todas las variables
de la función unidas por la operación AND.

Ejemplo: Si hay 3 varibles, existirán ocho

minitérminos posibles, que son:

X3’X2’X1’ X3’X2’X1 X3’X2X1’

X3X2’X1’ X3’X2X1 X3X2’X1

X3X2X1’ X3X2X1
Maxitérmino
Un maxitérmino, es una operación OR de n términos, cada uno de
los cuales, contiene solamente una de las variables de la función.

Si hay 3 varibles, existirán ocho

Ejemplo: maxitérminos posibles, que son:

X3+X2+X1 X3+X2+X1’ X3+X2’+X1

X3+X2’+X1’ X3’+X2+X1 X3’+X2+X1’

X3’+X2’+X1 X3’+X2’+X1’
Formas canónicas de funciones
booleanas

Existen dos formas canónicas únicas, en las cuales se puede

representar una función booleana
Una de dichas formas, es llamada función canónica en
minitérminos o función canónica expresada como suma de
productos.

Ejemplo:

F(A,B,C)=AB’C+A’BC’+A’BC+ABC
La otra forma es llamada función canónica en maxitérminos o
función canónica expresada como productos de sumas.

Ejemplo:

F(A,B,C)=(A+B+C)(A’+B+C)(A’+B’+C)
(A+B+C’)
Tabla de Verdad

Una tabla de verdad consiste en la enumeración de todas y

cada una de las 2n posibles combinaciones de los valores
que pueden tomar las n variables independientes.
Ejemplo:
F(A,B,C)=AB’C+A’BC’+A’BC+ABC

Como tenemos 3 variables

hacemos las combinaciones ABC F
posibles.
0 0 0 0
Ahora llenamos los valores que 0 0 1 0
puede tomar la función. 0 1 0 1
0 1 1 1
1 0 0 0
Al final llenamos con ceros 1 0 1 1
las celdas restantes. 1 1 0 0
1 1 1 1
Ejemplo:

F(A,B,C)=(A+B+C)(A’+B+C)(A’+B’+C)(A+B+C’)

Como tenemos 3 variables

hacemos las combinaciones ABC F
posibles.
0 0 0 0
Ahora llenamos los valores que 0 0 1 0
puede tomar la función. 0 1 0 1
0 1 1 1
Al final llenamos con unos 1 0 0 0
las celdas restantes. 1 0 1 1
1 1 0 0
1 1 1 1
Ejemplo:
F(A,B,C)=A’B + AC

Como tenemos 3 variables

hacemos las combinaciones ABC F
posibles.
0 0 0 0
Ahora llenamos los valores que 0 0 1 0
puede tomar la función. 0 1 0 1
0 1 1 1
1 0 0 0
Al final llenamos con ceros 1 0 1 1
las celdas restantes. 1 1 0 0
1 1 1 1
Ejemplo:
F(A,B,C)=(A+B)(A’+C)

Como tenemos 3 variables

hacemos las combinaciones
posibles.
ABC F
0 0 0 0
Ahora llenamos los valores que 0 0 1 0
puede tomar la función. 0 1 0 1
0 1 1 1
Al final llenamos con unos
1 0 0 0
1 0 1 1
las celdas restantes. 1 1 0 0
1 1 1 1
 Si checamos, las cuatro tablas de verdad son iguales; por lo
tanto son funciones equivalentes.

ABC F ABC F ABC F ABC F

F(A,B,C)=AB’C+A’BC’+A’BC+ABC

F(A,B,C)=(A+B)(A’+C)
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

F(A,B,C)=A’B + AC
0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0
0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1
1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0
1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1
1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
Si nuestro objetivo final es construir la función.

F(A,B,C)=AB’C+A’BC’+A’BC+ABC

F(A,B,C)=A’B + AC

F(A,B,C)=(A+B)(A’+C)

¿Cuál función es la más conveniente de construir?

Ejercicio:
Obtén la función canónica expresada en minitérminos y la función
canónica expresada en maxitérminos equivalente a la función:
F = B’C + ABC’
Sugerencia:
A B C F Obtén la tabla de verdad. Y de la tabla
0 0 0 0 de verdad obtén las funciones.
0 0 1 1
0 1 0 0 Los unos generados por
0 1 1 0
1 0 0 B’C son...
0
1 0 1
1
1 1 0 Y el uno generado por
1
1 1 1 0 ABC’ es...
Recordando que la forma canónica en minitérminos, se
obtiene utilizando los unos de la tabla de verdad.

A B C F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 0
 A B C F
0 0 0 0
0 0 1 1 A’B’C
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1 AB’C
1 1 0 1 ABC’
1 1 1 0

La forma canónica expresada en minitérminos se construye

colocando ORs entre cada minitérmino obtenido:
F = A’B’C+AB’C+ABC’
También podemos obtener la forma canónica en
maxitérminos, recordando que ahora nos
interesan los ceros...

A B C F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 0
 A B C F
0 0 0 0 (A+B+C)
0 0 1 1
0 1 0 0 (A+B’+C)
0 1 1 0 (A+B’+C’)
1 0 0 0 (A’+B+C)
1 0 1 1
1 1 0 1
1 1 1 0 (A’+B’+C’)

La forma canónica expresada en maxitérminos se construye

colocando ANDs entre los términos y quedaría:
F = (A+B+C) (A+B’+C) (A+B’+C’) (A’+B+C) (A’+B’+C’)
Teoremas (Leyes) del
álgebra booleana
Teoremas que definen el elemento identidad
1.a A+0=A
1.b A•1=A

Demostración del Demostración del

teorema 1.a por teorema 1.b por
inducción perfecta: inducción perfecta:
Teoremas de idempotencia
2.a A+A=A
2.b A•A=A

Demostración del Demostración del

teorema 2.a por teorema 2.b por
inducción perfecta. inducción perfecta.
Teoremas usando ceros y unos
3.a A+1=1
3.b A•0=0

Demostración del Demostración del

teorema 3.a por teorema 3.b por
inducción perfecta: inducción perfecta:
Teoremas en complementación
4.a A + A’ = 1
4.b A • A’ = 0
5 (A’)’ = A

Pruebas por inducción perfecta de los teoremas:

4.a 4.b 5
Teoremas de Morgan
6.a (A + B)’ = A’ • B’
6.b (A • B)’ = A’ + B’

Demostración por inducción perfecta

de los teoremas:
6.a 6.b
Generalización del teorema de Morgan

(f(A,B,C,…Z,0,1,•,+))’

f'(A’,B’,C’,…,Z’,1,0,+,•)
Ejercicio
Encuentra f’ de la siguiente función:

f=AB+C(A’+B)

f'=(AB+C(A’+B))’

f'=(AB)’(C(A’+B))’

f'=(A’+B’)(C’+(A’+B)’)

f'=(A’+B’)(C’+(AB’)) = (A’+B’)(C’+AB’)
Ahora chequemos las tablas de verdad.

f=AB+C(A’+B) f’=(A’+B’)(C’+AB’)
Teoremas de conmutatividad
7.a A+B=B+A
7.b A•B=B•A
Demostración por inducción perfecta:

7.a 7.b
Teoremas de asociatividad
8.a A+(B+C)=(A+B)+C=A+B+C
8.b A•(B•C)=(A•B)•C=A•B•C
Demostración del teorema 8.a por inducción perfecta
 8.b A•(B•C)=(A•B)•C=A•B•C

Demostración del teorema 8.b por inducción perfecta

Teoremas de distributividad
9.a A+B•C=(A+B)•(A+C)
9.b A•(B+C)=A•B+A•C
Demostración teorema 9.a
9.b A•(B+C)=A•B+A•C

Demostración teorema 9.b

Álgebra de Boole
Axiomas o reglas básicas del álgebra de boole:

1a: ‘0’ • ‘0’ = ‘0’

1b: ‘1’ + ‘1’ = ‘1’
2a: ‘1’ • ‘1’ = ‘1’
2b: ‘0’ + ‘0’ = ‘0’
3a: ‘0’ • ‘1’ = ‘1’ • ‘0’ = ‘0’
3b: ‘1’ + ‘0’ = ‘0’ + ‘1’ = ‘1’
4a: si X = ‘0’, entonces /X = ‘1’
4b: si X = ‘1’, entonces /X = ‘0’
Álgebra de Boole
De los axiomas anteriores podemos definir los siguientes
teoremas:

5a: X • ‘0’ = ‘0’

5b: X + ‘1’ = ‘1’
6a: X • ‘1’ = X
6b: X + ‘0’ = X
7a: X • X = X
7b: X + X = X
8a: X • /X = ‘0’
8b: X + /X = ‘1’
9 : //X = X
Álgebra de Boole

Los axiomas y teoremas anteriores fueron expresados por

pares (a,b) esto con el fin de demostrar de forma implícita el
“principio de dualidad”, el cual tiene por reglas simples:

Cambiar la operación lógica AND (•) por OR (+) y viceversa.

Sustituir ‘0’s por ‘1’s y viceversa.

Este principio será muy útil posteriormente en la simplificación

de ecuaciones lógicas complejas.
Álgebra de Boole
El álgebra booleana establece también algunas propiedades que
se usan para manipular y simplificar funciones lógicas de 2 o 3
variables.

Propiedad conmutativa:
10a: X • Y = Y • X
10b: X + Y = Y + X

Propiedad asociativa:
11a: X • (Y • Z) = (Y • X) • Z
11b: X + (Y + Z) = (Y + X) + Z
Álgebra de Boole
Propiedad distributiva:
12a: X • (Y + Z) = (X • Y) + (X • Z)
12b: X + (Y • Z) = (X + Y) • (X + Z)

Propiedad de absorción:
13a: X + (X • Y) = X
13b: X • (X + Y) = X

Propiedad de combinación:
14a: (X • Y) + (X • /Y) = X
14b: (X + Y) • (X + /Y) = X
Álgebra de Boole

Teorema de Morgan:

15a: /(X • Y) = /X + /Y
15b: /(X + Y) = /X • /Y
16a: X + (/X • Y) = X + Y
16b: X • (/X + Y) = X • Y

Tarea: usando los axiomas y propiedades del álgebra de

Boole, comprobar los 4 casos del teorema de Morgan.
Derechos Reservados 2017
Tecnológico de Monterrey
Prohibida la reproducción total o
parcial de esta obra sin expresa
autorización del Tecnológico de
Monterrey.