Algebra

lgebra Booleana y Diseo Lgico
Circuitos Digitales, 2 de Ingeniero de Telecomunicacin. EITE ULPGC.
ndice
1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11.
Propiedades algebraicas Definicin axiomtica de lgebra booleana Teoremas bsicos del lgebra booleana Funciones booleanas Formas cannicas Formas normalizadas Otras operaciones lgicas Puertas lgicas digitales Ampliacin a varias entradas y operadores Implementaciones de puertas Tecnologa VLSI
lgebra Booleana y Diseo Lgico. 2
EITE, ULPGC.
Propiedades Algebraicas
Un conjunto es una coleccin de objetos con una propiedad comn o varias x es miembro de S :
Axioma: propiedad que se asume como cierta sin necesidad de probarse
EITE, ULPGC.
lgebra Booleana y Diseo Lgico.
Cierre: Un conjunto S se dice cerrado respecto a la operacin si, y slo si,
Elemento identidad: e es el elemento identidad respecto a la operacin definida en S si
EITE, ULPGC.
Conmutativa: Una operacin es conmutativa si, y slo si,
Elemento inverso: en un conjunto S existe el elemento inverso si
En este caso, y es el elemento inverso de x

EITE, ULPGC. lgebra Booleana y Diseo Lgico. 5
Distributiva: Siendo y operadores en S, es distributiva respecto a si, y slo si,
EITE, ULPGC.
Definicin axiomtica de lgebra booleana

Un conjunto B con las operaciones + y
es lgebra booleana si cumple las siguientes propiedades:
Cierre
B es cerrado respecto a + B es cerrado respecto a
Elemento identidad
Existe elemento identidad para + (0) Existe elemento identidad para (1)
EITE, ULPGC.
Propiedad conmutativa
+ es conmutativa es conmutativa
Propiedad distributiva
es distributiva respecto a + + es distributiva respecto a
Elemento complemento
EITE, ULPGC.
Cardinalidad acotada
Al menos existen dos elementos, x e y, tales que
xy
EITE, ULPGC.

Se define de forma implcita la operacin
de complemento ( x ' x )
Tambin se llama negacin o inversin
EITE, ULPGC.
10

Diferencias con el lgebra ordinaria En el lgebra ordinaria la + no es distributiva con respecto a la El lgebra booleana no tiene inversos para las operaciones + y
No existen operaciones equivalentes a la resta y
la divisin
Existe el complemento en el lgebra booleana pero no en el ordinaria

EITE, ULPGC.

Diferencias con el lgebra ordinaria El lgebra booleana se aplica a un conjunto finito de elementos: el ordinario a un conjunto infinito No se incluye la asociatividad como axioma en el lgebra de Boole: se puede derivar de los establecidos.
EITE, ULPGC.
12
lgebra booleana bivaluada (con dos valores)

B posee dos elementos: 0 y 1 Tiene dos operadores bsicos: la y lgica (AND o producto lgico) y la o lgica (OR o suma lgica)
EITE, ULPGC.
13

Cumple los axiomas para ser un lgebra
de Boole (axiomas de Hungtington)

Cierre: tanto la o lgica como la y lgica dan como resultado un elemento de B Elemento identidad:
0 para + y 1 para
0+0=0 1+0=0+1=1 11=1 10=01=0
y y
14
EITE, ULPGC.
La operacin + es distributiva respecto a la La operacin es distributiva respecto a la +
Elemento complemento
EITE, ULPGC.
15
Propiedad conmutativa
La operacin + es conmutativa en B La operacin es conmutativa en B Se puede deducir a partir de la simetra de las
tablas que definen + y
En +, si cualquiera de los operandos es 1, el resultado es 1 En , si cualquiera de los operandos es 0, el resultado es 0
EITE, ULPGC.
16

Prueba de que x (y + z) = (x y ) + (x z )

Prueba de que x + (y z ) = (x + y ) (x + z )
Complemento
El 0 y el 1 son complementos el uno del otro:
0 + 0' = 0 + 1 = 1 y 1 + 1' = 1 + 0 =1 0 0' = 0 1 = 0 y 1 1' = 1 0 = 0
Cardinalidad acotada
Existen al menos dos elementos, representados
por 0 y 1, tales que 0 1
EITE, ULPGC.
19
Procedimiento para evaluacin de operadores

El orden de prioridades para evaluar los
operadores es:
( ) NOT AND OR
Ejemplo: (x + x y )' para x = 0 e y = 1: ( 0 + 0 1 )' = ( 0 + 0 )' = ( 0 )' = 0' = 1

Principio de Dualidad
Si una expresin es vlida en el lgebra
booleana, su dual tambin lo es
La expresin dual de una se obtiene cambiando en una expresin...

AND por OR OR por AND 0 por 1 1 por 0
EITE, ULPGC.
21
Principio de Dualidad
Si
x+1=1 x 0=0
Si x + x '= 1
xx'=0
EITE, ULPGC.
22
Demostraciones de teoremas del lgebra booleana

Propiedad de la Idempotencia
x+x =x
Por dualidad, x x = x
EITE, ULPGC.
Demostraciones de teoremas del lgebra booleana

Ley de D'Morgan:
( x +y )' = x ' y '
Su dual, (x y )' = x '+y '

EITE, ULPGC.
Funciones booleanas
Se puede definir como: Una expresin algebraica formada con variables binarias y las funciones AND, OR y NOT
EITE, ULPGC.
25
Funciones booleanas
Significado de una expresin booleana: Slo hay que leerla
F1 vale 1 cuando x vale 1 e y vale 1 o cuando x vale 1, y vale 0 y z vale 1 o cuando x vale 0, y vale 1 y z vale 1
EITE, ULPGC.
26
Funciones booleanas
Se puede definir
como:
EITE, ULPGC.
Una tabla de verdad que indica el valor de la funcin para todas y cada una de las combinaciones de los valores de las variables binarias que forman parte de la funcin
27
Funciones booleanas
Complemento de
una funcin
Si est definida con una tabla de verdad, se obtiene cambiando los unos (1) por ceros (0) y los ceros por unos
EITE, ULPGC.
Funciones booleanas
Complemento de una funcin Si est definida de forma algebraica, se aplican los Teoremas de D'Morgan
EITE, ULPGC.
29
Funciones booleanas
Teorema de D'Morgan generalizado:
EITE, ULPGC.
30
Equivalencia de expresiones
Por manipulaciones algebraicas
EITE, ULPGC.
31
Minterms
Son funciones que valen 1 para una
nica combinacin de valores de sus variables Su expresin algebraica es un producto donde aparecen todas las variables
EITE, ULPGC.
32
Minterms
EITE, ULPGC.
33
Minterms
EITE, ULPGC.
34
Minterms
EITE, ULPGC.
35
Maxterms
Son funciones que valen 0 para una
nica combinacin de valores de sus variables Su expresin algebraica es una suma donde aparecen todas las variables
EITE, ULPGC.
36
Maxterms
EITE, ULPGC.
37
Maxterms
EITE, ULPGC.
38
Formas cannicas
Son expresiones del tipo suma de
productos o producto de sumas
En la forma cannica de suma de productos...

en cada uno de los trminos producto que se
suman aparecen todas las variables de la funcin: es la expresin de un minterm
En la forma cannica de producto de sumas...

en cada uno de los trminos suma que se
multiplican aparecen todas las variables de la funcin: es la expresin de un maxterm
En ningn caso aparecen trminos repetidos

EITE, ULPGC.
Formas cannicas
Los minterms que aparecen en la forma
cannica de una funcin se llaman minterms 1 de la funcin

Los maxterms que aparecen en la forma
cannica de una funcin se llaman maxterms 0 de la funcin

Las formas cannicas son expresiones
nicas de la funcin
Formas cannicas
Los minterms 1 de una funcin son los que
habra que sumar para construir la funcin
EITE, ULPGC.
41
Formas cannicas
La expresin de un minterm
EITE, ULPGC.
42
Formas cannicas
Por tanto...
EITE, ULPGC.
43
Formas cannicas
Los maxterms 0 de una funcin son los
que habra que multiplicar para construir la funcin

Se puede ver que sus ndices
corresponden a los minterms que no estn entre los minterms 1 de la funcin
EITE, ULPGC.
44
Formas cannicas
EITE, ULPGC.
45
Formas cannicas
Cmo obtener una forma cannica de
una funcin?

A partir de la tabla de verdad, o Mediante manipulaciones algebraicas
EITE, ULPGC.
46
Formas cannicas
Cmo pasar de una forma cannica a
otra de una funcin?
Para realizarse de forma ms cmoda se utiliza otra notacin para definir las funciones:
EITE, ULPGC.
47
Formas cannicas
Los ndices que aparecen en una forma son los que faltan en la otra
EITE, ULPGC.
48
Formas cannicas
Obtencin de formas cannicas mediante
manipulaciones algebraicas
La idea es ingenirselas para que en los distintos trminos que se sumen (o multipliquen) aparezcan todas las variables
EITE, ULPGC.
49
Formas cannicas
EITE, ULPGC.
50
Formas cannicas
EITE, ULPGC.
51
Formas cannicas
Se propone:
Obtener la tabla de verdad de la funcin anterior y obtener las formas cannicas a partir de dicha tabla Qu debera dar?
EITE, ULPGC.
52
Formas normalizadas
Son formas que responden al esquema
de suma de productos o producto de sumas
Suelen tener menor nmero de operaciones que las formas cannicas

Para una funcin algebraica concreta, es de
menos operaciones siguiendo esos mismos esquemas
Pueden existir varias formas normalizadas para una misma funcin

EITE, ULPGC.
Formas normalizadas
Literal: unidad que se refiere a una
variable o su invertida
Suma de productos:
Es una suma de distintos trminos, donde en todos ellos se realiza exclusivamente el producto de distintos literales
EITE, ULPGC.
54
Formas normalizadas
Producto de sumas:
Es un producto de distintos trminos, donde en cada uno de ellos se realiza exclusivamente la suma de distintos literales
EITE, ULPGC.
55
Formas normalizadas
Se pueden obtener...
Tomando como referencia una forma cannica y combinando trminos que se distingan en un nico literal
EITE, ULPGC.
56
Formas no normalizadas
Las que se suelen
emplear son las derivadas de las normalizadas realizando factorizacin
Generalmente necesitan menos operaciones que las normalizadas

EITE, ULPGC.
Operaciones lgicas binarias

Para n variables binarias existen 22n
funciones booleanas posibles

Para 2 variables binarias existen, por
tanto, 16 funciones booleanas posibles
EITE, ULPGC.
58
Operaciones lgicas binarias
EITE, ULPGC.
59
Puertas lgicas digitales
EITE, ULPGC.
60
EITE, ULPGC.
61
EITE, ULPGC.
62
Tecnologa VLSI
Small Scale of Integration (SSI)
Hasta 10 puertas/circuito integrado 10100 puertas/circuito integrado 1001000 puertas/circuito integrado > 1000 puertas/circuito integrado
Medium Scale of Integration (MSI)
Large Scale of Integration (LSI)
Very Large Scale of Integration (VLSI)
EITE, ULPGC.
Implementaciones de puertas
Una familia lgica es un conjunto de
circuitos elaborados con dispositivos analgicos que realizan distintas funciones en los circuitos digitales
Comparten ciertas caractersticas comunes en cuanto a estructura y propiedades elctricas
EITE, ULPGC.
64
Familia TTL
TTL = TransistorTransistor Logic
Inversor
EITE, ULPGC.
65
Familia TTL
Si VINA = 0V...
EITE, ULPGC.
66
Familia TTL
Si VINA = 5V...
EITE, ULPGC.
67
Familia TTL
NAND
EITE, ULPGC.
68
Familia CMOS
Emplea transistores MOSFET de empobrecimiento complementarios (de canal n y p )
EITE, ULPGC.
69
Familia CMOS
En el transistor MOS de empobrecimiento de canal n, con
VGS>Vth ...
EITE, ULPGC.
70
Familia CMOS
En el transistor MOS de empobrecimiento de canal n, con VGS>Vth
EITE, ULPGC.
71
Familia CMOS
Inversor
EITE, ULPGC.
72
Familia CMOS
EITE, ULPGC.
73
Familia CMOS
EITE, ULPGC.
74
Familia CMOS
Si VA = VSS (0)
EITE, ULPGC.
75
Familia CMOS
Si VA = Vdd (1)
EITE, ULPGC.
76
Familia CMOS
NAND
EITE, ULPGC.
77
Propiedades de las puertas

Margen de ruido, niveles lgicos Tiempo de retardo: tpHL y tpLH Conectividad de salida (fan-out ) Conectividad de entrada (fan-in ) Curva de transferencia / Caracterstica
de entradasalida
Estrictamente, es ms apropiado hablar de familia de curvas de transferencia

EITE, ULPGC.
(...)
EITE, ULPGC.
79

vO (V)
Valores de tensin que representan un 1
5
vI (V)
vOH
mn
Niveles de tensin no vlidos Niveles de tensin que representan un 0
vIH vIL
mn mx
vOL
mx
Margen de Ruido a nivel bajo: NML = VIL

EITE, ULPGC. mx
Margen de Ruido a nivel alto: NMH = VOH

mn
- VOL
mx
- VIH
mn 80
Caracterstica de entradasalida
EITE, ULPGC.
81
Tiempo de propagacin (retardo)
EITE, ULPGC.
82
Tiempo de propagacin (retardo)

3 2.5
Vin tf Vout (V) tr tpHL tpLH
Vout (V)
2 1.5 1 0.5 0
-0.5 0 0.5 1 1.5
x 10-10
2.5
t (sec)
x 10-8

Algebra

Uploaded by

Document Information

Original Description:

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Algebra

Uploaded by

Copyright:

Available Formats

lgebra Booleana y Diseo Lgico

Circuitos Digitales, 2 de Ingeniero de Telecomunicacin. EITE ULPGC.

Axioma: propiedad que se asume como cierta sin necesidad de probarse

lgebra Booleana y Diseo Lgico.

Elemento identidad: e es el elemento identidad respecto a la operacin definida en S si

lgebra Booleana y Diseo Lgico.

Elemento inverso: en un conjunto S existe el elemento inverso si

En este caso, y es el elemento inverso de x

lgebra Booleana y Diseo Lgico.

Definicin axiomtica de lgebra booleana

es lgebra booleana si cumple las siguientes propiedades:

lgebra Booleana y Diseo Lgico.

Definicin axiomtica de lgebra booleana

lgebra Booleana y Diseo Lgico.

Definicin axiomtica de lgebra booleana

lgebra Booleana y Diseo Lgico.

Definicin axiomtica de lgebra booleana

lgebra Booleana y Diseo Lgico.

Definicin axiomtica de lgebra booleana

Existe el complemento en el lgebra booleana pero no en el ordinaria

Definicin axiomtica de lgebra booleana

lgebra Booleana y Diseo Lgico.

lgebra booleana bivaluada (con dos valores)

lgebra Booleana y Diseo Lgico.

lgebra booleana bivaluada (con dos valores)

de Boole (axiomas de Hungtington)

0+0=0 1+0=0+1=1 11=1 10=01=0

lgebra Booleana y Diseo Lgico.

lgebra booleana bivaluada (con dos valores)

lgebra Booleana y Diseo Lgico.

lgebra booleana bivaluada (con dos valores)

tablas que definen + y

En +, si cualquiera de los operandos es 1, el resultado es 1 En , si cualquiera de los operandos es 0, el resultado es 0

lgebra Booleana y Diseo Lgico.

lgebra booleana bivaluada (con dos valores)

lgebra booleana bivaluada (con dos valores)

lgebra booleana bivaluada (con dos valores)

0 + 0' = 0 + 1 = 1 y 1 + 1' = 1 + 0 =1 0 0' = 0 1 = 0 y 1 1' = 1 0 = 0

por 0 y 1, tales que 0 1

lgebra Booleana y Diseo Lgico.

Procedimiento para evaluacin de operadores

Ejemplo: (x + x y )' para x = 0 e y = 1: ( 0 + 0 1 )' = ( 0 + 0 )' = ( 0 )' = 0' = 1

booleana, su dual tambin lo es

La expresin dual de una se obtiene cambiando en una expresin...

lgebra Booleana y Diseo Lgico.

lgebra Booleana y Diseo Lgico.

Demostraciones de teoremas del lgebra booleana

Demostraciones de teoremas del lgebra booleana

( x +y )' = x ' y '

Su dual, (x y )' = x '+y '

lgebra Booleana y Diseo Lgico.

lgebra Booleana y Diseo Lgico.

lgebra Booleana y Diseo Lgico.

lgebra Booleana y Diseo Lgico.

lgebra Booleana y Diseo Lgico.

lgebra Booleana y Diseo Lgico.

lgebra Booleana y Diseo Lgico.

lgebra Booleana y Diseo Lgico.

lgebra Booleana y Diseo Lgico.

lgebra Booleana y Diseo Lgico.

lgebra Booleana y Diseo Lgico.

lgebra Booleana y Diseo Lgico.

lgebra Booleana y Diseo Lgico.