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 -2 Tomado de apuntes del profesor Carlos A. Angulo J.

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
-3 Tomado de apuntes del profesor Carlos 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 f=a+b b
a b 1 f=a+b

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

Sistemas Digitales
23357

-4 Tomado de apuntes del profesor Carlos A. Angulo J.

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 <= VHDL F=AB

Sistemas Digitales
23357

-5 Tomado de apuntes del profesor Carlos A. Angulo J.

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

SMBOLOS
1

EXPRESIN LGICA F = not A <=VHDL F = A'

Sistemas Digitales
23357

-6 Tomado de apuntes del profesor Carlos A. Angulo J.

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 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 Tomado de apuntes del profesor Carlos A. Angulo J.

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

-8 Tomado de apuntes del profesor Carlos A. Angulo J.

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)
-9 Tomado de apuntes del profesor Carlos 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)

-10 Tomado de apuntes del profesor Carlos 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

-11 Tomado de apuntes del profesor Carlos A. Angulo J.

(A + B) = A B (A B) = A + B
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
a

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

SMBOLOS

a f=ab=a+b b
a b & f=ab=a+b

a b

1 f=a+b=ab

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

F = A nor B F = (A + B)
-12 Tomado de apuntes del profesor Carlos A. Angulo J.

Compuertas Universales - NAND

Sistemas Digitales
23357

-13 Tomado de apuntes del profesor Carlos A. Angulo J.

Compuertas Universales - NOR

Sistemas Digitales
23357

-14 Tomado de apuntes del profesor Carlos A. Angulo J.

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

F = A nxor B F = (A B)'
-15 Tomado de apuntes del profesor Carlos A. Angulo J.

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 -16 Tomado de apuntes del profesor Carlos A. Angulo J.

Funciones Lgicas (Ejemplo 1)

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 = A B
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

-17 Tomado de apuntes del profesor Carlos A. Angulo J.

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

Sistemas Digitales
23357

-18 Tomado de apuntes del profesor Carlos A. Angulo J.

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

________ A (C+D) + BE

Sistemas Digitales
23357

-19 Tomado de apuntes del profesor Carlos A. Angulo J.

Determinacin de expresiones

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

Sistemas Digitales
23357

-20 Tomado de apuntes del profesor Carlos A. Angulo J.

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

Sistemas Digitales
23357

-21 Tomado de apuntes del profesor Carlos A. Angulo J.

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

-22 Tomado de apuntes del profesor Carlos A. Angulo J.