ALGEBRA DE BOOLE FUNCIONES LGICAS

Operaciones Propiedades Teoremas Funciones lgicas

Sistemas Digitales
23357

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

lgebra de Conmutacin
Para describir un circuito digital utilizaremos ecuaciones matemticas. Sin embargo, estas ecuaciones tienen variables y nmeros que NO SON REALES, por lo que NO podemos aplicar las mismas propiedades y operaciones que conocemos. Hay que utilizar nuevas operaciones y nuevas propiedades, definidas en el ALGEBRA DE BOOLE. Existen dos estados: Verdadero/Falso - 1/0 - Alto/Bajo On/Off.
Lgica Positiva Lgica Negativa : activo Alto, inactivo Bajo. : activo Bajo, inactivo Alto.

Una variable lgica solo puede tomar uno de los dos posibles valores. Si una variable toma un valor en un instante dado, no puede tomar otro valor en ese mismo instante.
Sistemas Digitales
23357

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Las variables lgicas se usan para representar el nivel de voltaje presente en los terminales de un circuito.
VCC ALTO VOHMIN Margen de ruido alto NO VLIDO Margen de ruido bajo VOLMAX BAJO 0 BAJO 0 VILMAX VIHMIN ALTO VCC

SALIDA
Sistemas Digitales
23357

ENTRADA
Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Operaciones - OR
TABLA DE VERDAD
A 0 0 1 1 B 0 1 0 1 F 0 1 1 1

SMBOLOS
a f=a+b b
a b 1 f=a+b

EXPRESIN LGICA F = A or B F = A + B
Sistemas Digitales
23357

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Operaciones - AND
TABLA DE VERDAD
A 0 0 1 1 B 0 1 0 1 F 0 0 0 1

SMBOLOS
a f = ab b
a b & f = ab

EXPRESIN LGICA F = A and B F = A B

Sistemas Digitales
23357

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Operaciones - NOT
TABLA DE VERDAD
A 0 1 F 1 0

SMBOLOS
1

EXPRESIN LGICA F = not A F = A = A'

Sistemas Digitales
23357

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Definicin Axiomtica - Propiedades

LGEBRA DE BOOLE: estructura algebraica definida sobre un conjunto de elementos con los operadores binarios que satisfacen los siguientes axiomas:
Elemento Neutro Conmutacin Complemento Elemento inverso Distribucin
Sistemas Digitales
23357

A + 0 = A A 1 = A A + B = B + A A B = B A A + A' = 1 A A' = 0 A(B+C) = (AB)+(AC) A+(BC) = (A+B)(A+C)

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Representacin de los axiomas

Elemento Neutro
0 a 0+a = a a 1 1a a = a a

Conmutacin

a b a+b =

b a b+a

a ab

b =

b ba

Sistemas Digitales
23357

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Representacin de los axiomas

Complemento
a a a+a = 1 1 a aa a = 0 0

Distribucin

b a c a (b + c) a b c a + (b c) = =

a a

b c

(a b) + (a c) a b a c

(a + b) (a + c)
Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Sistemas Digitales
23357

Teoremas
Principio de dualidad del lgebra booleana En cualquier teorema, si se intercambian "0" por "1" y "+" por "" se obtiene una identidad tambin vlida.
A + 1 A 0 A + A A A (A) A + AB. A (A+B) (A+B) + C (AB) C
Sistemas Digitales
23357

= = = = = = = = =

1 0 A A A A A A + (B+C) A (BC)

Elemento Nulo Idempotencia Involucin Absorcin Asociativa

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Teoremas (cont.)

AB + AB (A+B)(A+B) A + AB A + AB AB + AC + BC. (A+B)(A+C)(B+C)

= A = A = A + B = A + B = AB + AC =(A+B)(A+C)

(A+B) = A B (AB) = A + B
Sistemas Digitales
23357

Teorema de DeMorgan
Carlos A. Angulo Julio cangulo@cps.uis.edu.co

RESUMEN
A+0 = A Elemento Neutro A+B = B+A Conmutacin A+A' = 1 Complemento A(B+C) = (AB)+(AC) Distribucin A+1 = 1 Elemento Nulo A+A = A Idempotencia (A) = A Involucin (A+B)+C = A+B+C Asociativa A1 AB AA' A+(BC) A0 AA = = = = = = A BA 0 (A+B)(A+C) 0 A

Absorcin

(AB)C = ABC A + AB = A A (A+B) = A AB + AB = A (A+B)(A+B) = A AB + AC + BC = AB + AC. (A+B)(A+C)(B+C) = (A+B)(A+C) (A+B) = A B (AB) = A + B

Teorema de DeMorgan

Sistemas Digitales
23357

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Compuertas NAND y NOR

NAND NOT AND
A 0 0 1 1 B 0 1 0 1 F 1 1 1 0
a
f=ab=a+b b
a b & f=ab=a+b b

NOR NOT OR
A 0 0 1 1 B 0 1 0 1 F 1 0 0 0

SMBOLOS

f=a+b=ab b
a 1 f=a+b=ab

EXPRESIN LGICA
F = A nand B F = (AB)
Sistemas Digitales
23357

F = A nor B F = (A+B)
Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Compuertas Universales - NAND

Sistemas Digitales
23357

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Compuertas Universales - NOR

Sistemas Digitales
23357

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Compuertas Exclusivas
OR exclusivoXOR NOR exclusivoNXOR
A 0 0 1 1 B 0 1 0 1 F 0 1 1 0
fo = a b

A 0 0 1 1

B 0 1 0 1

F 1 0 0 1

SMBOLOS

a b

a b

=1 fo = a b

EXPRESIN LGICA F = A xor B F = (A B) F = AB + AB F =(A+B)(A+B)

Sistemas Digitales
23357

F F F F

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

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Funciones Lgicas
Funciones Expresiones algebraicas formadas por variables, operadores y parntesis. Funciones lgicas Expresiones booleanas formadas a partir de variables lgicas y los operadores AND, OR, NOT. Tambin pueden ser representadas con una tabla de verdad en la cual se liste el valor de la funcin para cada combinacin de los valores de sus variables.
Sistemas Digitales
23357

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Funciones Lgicas (Ejemplo 1)

Control de ascensor Variable A : Estado ascensor
A Ascensor en movimiento = 1 A' Ascensor en reposo =0

Variable B : Estado de la puerta

B Puerta abierta = 1 B Puerta cerrada = 0

F(A,B)= Z = AB
Z = 1 Bajarse del ascensor Z = 0 No bajarse del Ascensor
Sistemas Digitales
23357

A 0 0 1 1

B 0 1 0 1

Z 0 1 0 0

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Funciones Lgicas (Ejemplo 2)

Hallar una funcin Z que identifique todos los nmeros impares del 0 al 15
# 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 Z 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

Z = + + + + + + +
23357

ABCD ABC D AB CD AB C D A BCD A BC D A B CD A B C D

Sistemas Digitales

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Implementacin de expresiones
Representar con compuertas digitales las siguientes expresiones: ___ A(B) + C _______ A(C+D) + BE

Sistemas Digitales
23357

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Determinacin de expresiones

F = ((X+Y)Z) + (XYZ)

Sistemas Digitales
23357

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Funciones Lgicas (Ejemplo 2)

Hallar una funcin Z que identifique todos los nmeros impares del 0 al 15
# 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 Z 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

Z = + + + + + + +
23357

ABCD ABC D AB CD AB C D A BCD A BC D A B CD A B C D

Sistemas Digitales

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Simplificacin
El algebra de Boole permite obtener expresiones ms simples:
Z = + Z = _ _ _ _ _ _ _ _ ABCD + ABCD + ABCD + ABCD ABCD + ABCD + ABCD + ABCD _ _ _ _ _ _ _ ABD(C+C) + ABD(C+C) + ABD(C+C) + ABD (C+C)) _ _ _ _ AD(B+B) + AD(B+B) = (A+A)D = D

Z =

En ocasiones, tambin es til el sentido comn:

En la tabla de verdad anterior, un nmero impar se identifica cuando el bit menos significativo es 1.
Sistemas Digitales
23357

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Dnde puedo aprender ms?

T. FLOYD, Fundamentos de sistemas digitales, 9 Ed, Pearson Education, 2006. J. WAKERLY, Digital design principles and practices, 3rd Ed, Pearson, 2001.

Sistemas Digitales
23357

Carlos A. Angulo Julio cangulo@cps.uis.edu.co

Este documento ha sido preparado para su utilizacin exclusiva en la orientacin del curso Sistemas Digitales de la Escuela de Ingenieras Elctrica, Electrnica y de Telecomunicaciones de la Universidad Industrial de Santander. Pertenece nicamente al autor y no puede utilizarse para otro fin sin su consentimiento por escrito.

Sistemas Digitales
23357

Carlos A. Angulo Julio cangulo@cps.uis.edu.co