ALGEBRA DE BOOLE FUNCIONES LGICAS

Operaciones

Propiedades Teoremas
Funciones lgicas

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, denidas 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 J. -2-

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

VOHMIN
VIHMIN

SALIDA
Sistemas Digitales
23357

ENTRADA
-3Carlos A. Angulo J.

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

SMBOLOS
a b Funcin O f=a+b
a b Funcin O 1 f=a+b

EXPRESIN LGICA F = A or B F=A+B

Sistemas Digitales
23357 Carlos A. Angulo J. -4-

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

SMBOLOS
a b Funcin Y f = ab
a b Funcin Y & f = ab

EXPRESIN LGICA F = A and B F=AB

Sistemas Digitales
23357 Carlos A. Angulo J. -5-

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

SMBOLOS
1

a Funcin inversin

a Funcin inversin

EXPRESIN LGICA F = not A F = A'

Sistemas Digitales
23357 Carlos A. Angulo J. -6-

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 Carlos A. Angulo J.

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

A A B+A BA 1 0 (AB) + (AC) (A+B) (A+C)

-7-

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

ab

ba

Sistemas Digitales
23357 Carlos A. Angulo J.

-8-

Representacin de los axiomas

Complemento
a

a
a+a =

1
1

a aa

a =

0 0

Distribucin

b a c a (b + c) a

a a

b c

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

c
a + (b c) =

(a + b) (a + c)
-9Carlos A. Angulo J.

Sistemas Digitales
23357

Teoremas
Principio de dualidad del lgebra booleana En cualquier teorema, si se intercambia 0 por 1 y "+" por "" se obtiene una identidad igualmente vlida.

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

Sistemas Digitales
23357

=1 Elemento Nulo =0 =A Idempotencia =A =A Involucin =A Absorcin =A = A + (B + C) Asociativa = A (B C)

-10Carlos A. Angulo J.

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) Teorema de DeMorgan

-11Carlos A. Angulo J.

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

Sistemas Digitales
23357

Compuertas NAND y NOR

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

NOR NOT OR
A 0 0 1 1
a b
a b 1 f=a+b=ab

B 0 1 0 1

F 1 0 0 0
f=a+b=ab

SMBOLOS

a b
a b &

f=ab=a+b

EXPRESIN LGICA
F = A nand B F = (A B)
Sistemas Digitales
23357 Carlos A. Angulo J.

F = A nor B F = (A + B)
-12-

Compuertas Universales - NAND

Sistemas Digitales
23357 Carlos A. Angulo J.

-13-

Compuertas Universales - NOR

Sistemas Digitales
23357 Carlos A. Angulo J.

-14-

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)
Sistemas Digitales
23357 Carlos A. Angulo J.

F = A nxor B F = (A B)'
-15-

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 J. -16-

Funciones Lgicas (Ejemplo 1)

SISTEMA DE ALARMA SENCILLO Variable A : Estado alarma
A Alarma activa = 1 A' Alarma inactiva = 0

Variable B : Estado de las puertas

B Puerta abierta = 1 B Puerta cerrada = 0
A 0 0 1 1 B 0 1 0 1 Z 0 0 0 1
-17Carlos A. Angulo J.

F (A, B) = Z = A B
Z = 1 Suena la alarma Z = 0 No suena la alarma
Sistemas Digitales
23357

Funciones Lgicas (Ejemplo 2)

Hallar una funcin Z que identifique todos los nmeros impares del 0 al 15 Z = ABCD + ABC D + AB CD + AB C D + A BCD + A BC D + A B CD + A B C D
# 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
-18Carlos A. Angulo J.

Sistemas Digitales
23357

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

________ A (C+D) + BE

Sistemas Digitales
23357 Carlos A. Angulo J.

-19-

Determinacin de expresiones

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

Sistemas Digitales
23357 Carlos A. Angulo J.

-20-

Funciones Lgicas (Ejemplo 2)

Hallar una funcin Z que identifique todos los nmeros impares del 0 al 15 Z = ABCD + ABC D + AB CD + AB C D + A BCD + A BC D + A B CD + A B C D
# 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
-21Carlos A. Angulo J.

Sistemas Digitales
23357

El algebra de Boole permite obtener expresiones mas simples:

Z = ABCD + ABCD + ABCD + ABCD + A BCD + A BCD + A BCD + A BCD Z = (AB (C + C))D + (AB (C + C))D + (A B (C + C))D + (AB (C + C))D Z = (A (B + B))D + (A(B + B))D = (A' + A) D = D

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 J. -22-