1

Clase 04:
Algebra de Boole

Ing. Christian Lezama Cuellar

Introduccin
George Boole
El matemtico ingls George Boole naci el 2 de
noviembre de 1815 en Lincoln y falleci el 8 de
diciembre de 1864 en Ballintemple, Irlanda.
Boole recluy la lgica a una lgebra simple.
Tambin trabaj en ecuaciones diferenciales, el
clculo de diferencias finitas y mtodos generales
en probabilidad.

Algebra de Boole
Proporciona una notacin para describir funciones lgicas y define un
nmero de operaciones que se pueden realizar con el fin de
simplificarlas. El lgebra de Boole define variables, constantes y
funciones para describir sistemas binarios, y una serie de teoremas que
permiten manipular expresiones lgicas.
Constantes booleanas: Se definen dos: 0 (estado FALSO) y 1
(VERDADERO).
Variables booleanas: Son magnitudes que pueden tomar
diferentes valores en diferentes momentos. Pueden representar
seales de entrada o de salida y reciben nombres de caracteres
alfabticos como: A, B, X, Y. Slo pueden tomar los valores 0 o 1.
Funciones booleanas: Describen el comportamiento del sistema.
Cada operacin lgica (suma, multiplicacin, negacin, ...) posee una
notacin en el lgebra booleana, como se muestra en la Tabla 1.

Funciones lgicas elementales.

Algebra de Boole
El lgebra booleana es la teora matemtica que se aplica en la lgica
combinatoria.
Las variables booleanas son smbolos utilizados para representar
magnitudes lgicas y pueden tener slo dos valores posibles: 1 (valor
alto) 0 (valor bajo).
Operadores:
Operador AND
.
Operador OR
+
Operador NOT

Axioma: Propiedad Conmutativa

A+B = B+A
El orden en la OR no importa

AB = BA
El orden en la AND no importa

Axioma: Propiedad asociativa

A + (B + C) = (A + B) + C
Agrupar variables en la OR no importa

A.(B.C) = (A.B).C
Agrupar variables en la AND no importa

Axioma: Propiedad Distributiva

A+(B.C) = (A+B)(A+C)
U8 SN7432

A
B
C

A+(BC)
U7 SN7408

(BC)

U1 SN7432

(A+B)
U3 SN7408

(A+B) .( A+C)
U2 SN7432

(A+C)

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

A

U9 SN7408
A
B
C

A (B+C)
U10 SN7432

U4 SN7408

(A B)
U6 SN7432

(A B)+( AC)
U5 SN7408

(B+C)

(A C)

Axioma: Elemento identidad (0 para +)

A+0=A
Hacer una operacin OR con 0 no cambia nada.
A

U11 SN7432
X=A

A
X=A

10

Axioma:

Elemento identidad (1 para )

TP1

A1=A
Hacer una operacin AND con 1 no cambia nada
V++
A

U12 SN7408
X=A

A
X=A
X

11

Axioma: Elemento complemento

+=
O bien A o sern 1, luego la salida ser 1

A
A

X=1

12

Axioma: Elemento complemento

=
Bien A o A son 0 luego la salida ser 0.

A
A

X=0

13

Teorema: A+1=1 (T. Complementacin)

Hacer una operacin OR con 1 da siempre 1.

X=1
X

14

Teorema: A0=0 (T. Complementacin)

Hacer una operacin AND con 0 siempre da 0

A
X=0
X

15

Teorema: A+A = A

(T. Idempotencia)

Hacer una operacin OR consigo mismo da el

mismo resultado

A=A

16

Teorema: AA = A

(T. Idempotencia)

Hacer una operacin AND consigo mismo da el

mismo resultado

A=A

17

Teorema: = (T. Involucin)

Si negamos algo dos veces volvemos al principio

X=A

18

Teorema: A + AB = A

A
B

(T. Absorcin I)

19

Teorema A + = + (T. Absorcin II)

Si A es 1 la salida es 1

Si A es 0 la salida

A
B
X
Y

X=Y

20

Leyes de De Morgan (2 variables)

De Morgan ayuda a simplificar circuitos digitales
usando NORs y NANDs
=+
Igual para n variables
+ =

21

Leyes de De Morgan (ms de 2 variables)

+++ =

22

Anlisis Booleano de Funciones Lgicas

El propsito de este apartado es obtener expresiones
booleanas simplificadas a partir de un circuito
Se examina puerta a puerta a partir de sus entradas
Se simplifica usando las leyes y propiedades booleanas.

23
Un conjunto B dotado con dos operaciones algebraicas, ms (+) y por (), es
un lgebra de Boole, s y slo s se verifican los siguientes postulados:
POSTULADOS

SUMA

PRODUCTO

A + B = B + A (Conmutativa)
A + (B + C) = (A + B) + C (Asociativa)
A + (B C) = (A + B) (A + C) (Distributiva)
A + 0 = A (Elemento neutro)
A + A' = 1 (Complementario)

A B = B A (Conmutativa)
A (B C) = (A B) C (Asociativa)
A (B + C) = (A B) + (A C) (Distributiva)
A 1 = A (Elemento neutro)
A A' = 0 (Complementario)

TEOREMAS
A + A = A (Idempotencia)
A+1= 1
A + (A B) = A (Absorcin)
(A + B)' = A' B' (T. Morgan)
(A')' = A
A + (A' B) = A + B
(A B) + (A B') = A

A A = A (Idempotencia)
A 0= 0
A (A + B) = A (Absorcin)
(A B)' = A' + B' (T. Morgan)
(A')' = A
A (A' + B) = A B
(A + B) (A + B') = A

24

Clculo de la expresin algebraica de

salida (ejemplo 1)

(A + B) (CD) = (A + B) + (CD) = A + B + CD

X e Y son
iguales

26

Clculo de la expresin algebraica de

salida (ejemplo 2)
X = (A+B) C + CD + B
= (A+B) C CD + B
= (A+B) C (CD + B)

= A B C (C +D +B)
= A B C C + A B C D +A B C B
=ABCD

Los
circuitos
son iguales

28

Ejemplo 3
Puerta a puerta a partir de sus entradas

X= AB+(C+D)
X= AB + C+ D

29

Ejemplo 4

X = (AB)(CD)
X = ABCD

30

Ejemplo 5

X = ABCD +A
Simplificando:
X = A + BCD

31

Ejemplo 6

32

X = (AB+)BC

Usando la propiedad distributiva:

X = ABBC +BC

X = ABC + BC
X = ABC + 0C

X = ABC + 0
X = ABC

33

Ejemplo 7

34

X = ( +AB) +((C+D))
X = (A + B) + ((C + D))
X = (A + B) + (BC + BD)

X = A + B + BC + BD
X = A + B + C + BD

Ejemplo 7

36

Operaciones Lgicas
Ejemplos: F(A, B, C)=
A.B.C = 1, si todas las variables son 1
= 0, si alguna es 0
A+B+C = 1, si alguna variable es 1
= 0, si todas son 0

37

Ejemplo 8
Puerta {A}, Ascensor {B}, Bajarse {Z}

Z=A.B

38

Ejercicios: simplificar e disear las funciones

f ( BCD BCE B ED) (CCD CCE CED) ( ADCD ADCE ADED)

f ( A B C )(C E )( B C D)( D E )

f ( B C AD)(CD CE ED EE)
f B ED C D C E

f (C D)(C E )( B E D)

f (C E D)( B E D)
f CB CE C D E DB EED E D D
f EC E D C D BC
f EC E D BC

Expresiones booleanas desde tablas de

verdad
Suma de productos
Y= ABC+BCD+ACD o directamente
Y= ABC+BCD+ACD

Producto de sumas
Y=(A+B+C)(D+C)(E+F)

40

Sumas de Productos (SP)

Sea una funcin F(ABCD) que slo es 1 para los casos:
0011, 1011, 1110, 1111
Cuando ABCD=0011, nicamente la
expresin producto ABCD es 1.
Cuando ABCD=1011, nicamente la
expresin producto ABCD es 1

y as sucesivamente resultando que

F= ABCD + ABCD + ABCD+ ABCD F es suma de productos

41

Productos de Sumas (PS)

Sea una funcin F(ABCD) que
slo es 0 para los casos:
0010, 0100, 0111,
1010, 1101

La funcin F es 0 (o bien F es 1)
cuando ABCD=0010

o cuando ABCD=0100

Cuando ABCD=0010, slo la

suma A+B+C+D es 0.

o cuando ABCD=0111

Cuando ABCD=0100, slo la

suma A+B+C+D es 0,

o cuando ABCD=1101

y as sucesivamente
De Morgan

o cuando ABCD=1010

y en ningn otro caso ms.

F=ABCD+ABCD+ABCD+ABCD+ABCD

F=(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)

F es producto de sumas

42

Resumen

43

Bibliografa
Diseo Digital 3 Edicin Morris Mano
http://books.google.com.pe/books?id=8WhBtfnaenkC&
printsec=frontcover&hl=es#v=onepage&q&f=false
Logic and Boolean Algebra, Kathleen and Hilbert
Levitz