03.algebra Boole PDF

Carlos A.
Angulo J ulio
cangulo@cps.uis.edu.co
Sistemas Digitales
23357
ALGEBRA DE BOOLE

FUNCIONES LGICAS
Operaciones

Propiedades

Teoremas

Funciones lgicas
Carlos A. Angulo J ulio
Sistemas Digitales
23357
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 : activo Alto, inactivo Bajo.
Lgica Negativa : 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
Las variables lgicas se usan para representar el nivel
de voltaje presente en los terminales de un circuito.
V
CC
V
OHMIN
ALTO
ALTO
V
CC
V
IHMIN
Margende
ruidoalto
NOVLIDO
Margende
ruidobajo
V
ILMAX
V
OLMAX
BAJO
BAJO
0
SALIDA ENTRADA
Sistemas Digitales
23357
Operaciones - OR
TABLA DE VERDAD

SMBOLOS

EXPRESIN LGICA
F = A or B
F = A + B
a
b
f = a + b
Funcin O
a
b
f = a + b
Funcin O
1
A B F
0 0 0
0 1 1
1 0 1
1 1 1
Sistemas Digitales
23357
Operaciones - AND
TABLA DE VERDAD

SMBOLOS

EXPRESIN LGICA
F = A and B
F = A B
A B F
0 0 0
0 1 0
1 0 0
1 1 1
a
b
f = ab
Funcin Y
&
a
b
f = ab
Funcin Y
Sistemas Digitales
23357
Operaciones - NOT
TABLA DE VERDAD

SMBOLOS

EXPRESIN LGICA
F = not A
F = A = A'
A F
0 1
1 0
Funcin inversin
a a a
Funcin inversin
1
a
Sistemas Digitales
23357
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
A + 0 =
A 1 =
A
A
Conmutacin
A + B =
A B =
B + A
B A
Complemento -
Elemento inverso
A + A' =
A A' =
1
0
Distribucin
A(B+C) =
A+(BC) =
(AB)+(AC)
(A+B)(A+C)
Sistemas Digitales
23357
Representacin de los axiomas
Elemento Neutro

Conmutacin a
b
a+b =
b
a
b+a
a b
ab =
b a
ba
0
a
0+a =
a
a
1 a
1a =
a
a
Sistemas Digitales
23357
Representacin de los axiomas
Complemento

Distribucin
a
a
a+a =
1
1
a
=
c
b
a
(ab)+(ac)
c
a b
a(b+c)
b
a+(bc)
c
=
b c
a a a
(a+b)(a+c)
a a
aa =
0
0
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
= 1
= 0
Elemento Nulo
A + A
A A
= A
= A
Idempotencia
(A) = A
Involucin
A + AB.
A (A+B)
= A
= A
Absorcin
(A+B) + C
(AB) C
= A + (B+C)
= A (BC)
Asociativa
Sistemas Digitales
23357
AB + AB
(A+B)(A+B)
= A
= A
A + AB = A + B
A + AB = A + B
AB + AC + BC.
(A+B)(A+C)(B+C)
= AB + AC
=(A+B)(A+C)
(A+B)
(AB)
= A B
= A + B
Teorema de
DeMorgan
Teoremas (cont.)
Sistemas Digitales
23357
RESUMEN
Elemento Neutro
A+0 = A A1 = A
Conmutacin
A+B = B+A AB = BA
Complemento
A+A' = 1 AA' = 0
Distribucin
A(B+C) = (AB)+(AC) A+(BC) = (A+B)(A+C)
Elemento Nulo
A+1 = 1 A0 = 0
Idempotencia
A+A = A AA = A
Involucin
(A) = A
Asociativa
(A+B)+C = A+B+C (AB)C = ABC
Absorcin
A + AB = A
AB + AB = A
A (A+B) = A
(A+B)(A+B) = A
AB + AC + BC = AB + AC.
(A+B)(A+C)(B+C) = (A+B)(A+C)
Teorema de
DeMorgan
(A+B) = A B (AB) = A + B
Sistemas Digitales
23357
CompuertasNANDyNOR
NANDNOTAND NORNOTOR
SMBOLOS
EXPRESINLGICA
F = A nand B F = A nor B
F = (AB) F = (A+B)
A B F
0 0 1
0 1 1
1 0 1
1 1 0
A B F
0 0 1
0 1 0
1 0 0
1 1 0
a
b
f = a b = a + b
a
b
f = a + b = a b
a
b
&
f = a b = a + b
a
b
1
f = a + b = a b
Sistemas Digitales
23357
CompuertasUniversales-NAND
Sistemas Digitales
23357
CompuertasUniversales-NOR
Sistemas Digitales
23357
CompuertasExclusivas
ORexclusivoXOR NORexclusivoNXOR
SMBOLOS
EXPRESINLGICA
F = A xor B F = A nxor B
F = (A B) F = (A B)
F = AB + AB F = AB + AB
F =(A+B)(A+B) F =(A+B)(A+B)
A B F
0 0 0
0 1 1
1 0 1
1 1 0
A B F
0 0 1
0 1 0
1 0 0
1 1 1
a
b
f
o
= a b
a
b
=1
f
o
= a b
Sistemas Digitales
23357
FuncionesLgicas
Funciones
Expresionesalgebraicasformadasporvariables,
operadoresyparntesis.
Funcioneslgicas
Expresionesbooleanasformadasapartirde
variableslgicasylosoperadoresAND,OR,NOT.
Tambinpuedenserrepresentadasconunatabla
deverdadenlacualselisteelvalordelafuncin
paracadacombinacindelosvaloresdesus
variables.
Sistemas Digitales
23357
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
A B Z
0 0 0
0 1 1
1 0 0
1 1 0
Sistemas Digitales
23357
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

# A B C D Z
0 0 0 0 0 0
1 0 0 0 1 1
2 0 0 1 0 0
3 0 0 1 1 1
4 0 1 0 0 0
5 0 1 0 1 1
6 0 1 1 0 0
7 0 1 1 1 1
8 1 0 0 0 0
9 1 0 0 1 1
10 1 0 1 0 0
11 1 0 1 1 1
12 1 1 0 0 0
13 1 1 0 1 1
14 1 1 1 0 0
15 1 1 1 1 1
Sistemas Digitales
23357
Implementacin de expresiones
Representar con compuertas digitales las siguientes
expresiones:
___
A(B) + C

_______
A(C+D) + BE

Sistemas Digitales
23357
Determinacindeexpresiones
F = ((X+Y)Z) + (XYZ)
Sistemas Digitales
23357
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

# A B C D Z
0 0 0 0 0 0
1 0 0 0 1 1
2 0 0 1 0 0
3 0 0 1 1 1
4 0 1 0 0 0
5 0 1 0 1 1
6 0 1 1 0 0
7 0 1 1 1 1
8 1 0 0 0 0
9 1 0 0 1 1
10 1 0 1 0 0
11 1 0 1 1 1
12 1 1 0 0 0
13 1 1 0 1 1
14 1 1 1 0 0
15 1 1 1 1 1
Sistemas Digitales
23357
Simplificacin
El algebra de Boole permite obtener expresiones ms
simples:
_ _ _ _ _ _ _ _
Z = ABCD + ABCD + ABCD + ABCD
+ ABCD + ABCD + ABCD + ABCD
_ _ _ _ _ _ _
Z = ABD(C+C) + ABD(C+C) + ABD(C+C) +
ABD (C+C))
_ _ _ _
Z = AD(B+B) + AD(B+B) = (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
EJERCICIOS
Simplificar las funciones F1 y F2
F1(x,y,z) = xy + xyz + xyz
F2(a,b,c,d) = ab(d+cd) + b(a+acd)

Utilice teoremas del lgebra de Boole para
determinar si la siguiente igualdad es cierta
xy + xz + yz = xy + xz

Sistemas Digitales
23357
EJERCICIOS
Utilice teoremas del lgebra de Boole para
determinar si los siguientes circuitos son
equivalentes.
Sistemas Digitales
23357
Dnde puedo aprender ms?
T. FLOYD, Fundamentos de sistemas digitales, 9
Ed, Pearson Education, 2006.

J. WAKERLY, Digital design principles and
practices, 3
rd
Ed, Pearson, 2001.
Sistemas Digitales
23357
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.

03.algebra Boole PDF

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

03.algebra Boole PDF

Caricato da

Copyright:

Formati disponibili

Carlos A.

Potrebbero piacerti anche