Sistemas Logicos 6

Sistemas Lógicos
Clase #6
Dr. Wladimir Rodríguez
Departamento de Computación
ULA
Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-1

Álgebra de Boole
¸ En 1854, George Boole publicó una obra titulada
Investigación de las leyes del pensamiento, sobre las que
se basan las teorías matemáticas de la lógica y la
probabilidad. En esta publicación se formuló la idea de un
álgebra de las operaciones lógicas, que se conoce hoy en
día como Álgebra de Boole.
¸ El Álgebra de Boole es una forma muy adecuada para
expresar y analizar las operaciones de los circuitos lógicos.
¸ Claude Shannon fue el primero en aplicar la obra de
George Boole al análisis y diseño de circuitos.

Álgebra de Conmutación
¸ Es bien conocido que en los sistemas digitales
sólo dos situaciones tienen interés, conducción o
corte de los transistores. A cada uno de estos
estados se le puede asignar una variable lógica y
desarrollar un Álgebra de Boole (álgebra de
conmutación) que nos permite el análisis y diseño
de circuitos lógicos de conmutación.
SHANNON, 1938.

Definición: Álgebra de Boole
¸ Un álgebra booleana es un sistema algebraico cerrado
formado por un conjunto K de dos o más elementos (en
nuestro caso, asumiremos que K = {0,1}); los dos
operadores binarios AND (el resultado es 1 si los
operandos son 1) y OR (el resultado es 1 si alguno de los
operandos es 1), conocidos también como producto lógico
(·) y suma lógica (+) respectivamente; y el operador
unario NOT (el resultado es la inversión o negación del
operando, es decir, 0 si el operando es 1 y viceversa)
denominado negación lógica (` o ’).

Variable Lógica
¸Una variable lógica es un símbolo que
representa una magnitud lógica, es decir,
cualquier variable podrá tomar valor 0 ó 1.
¸El complemento de una variable lógica es
el resultado de aplicarle el operador unario
NOT.
¸En el curso utilizaremos las letras del
alfabeto para representar las variables
lógicas.
Postulados del Álgebra de Boole
¸ Postulado 1. Definición: Álgebra de Boole {B} :
Conjunto finito compuesto de dos elementos (el
nulo 0 y el universal 1) y tres operaciones (dos
binarias{AND, OR} y una unaria{NOT}).
ß Elemento nulo: 0
ß Elemento universal: 1
ß Operación OR (+): " x,y Œ B x + y Œ B
ß Operación AND (·): " x,y Œ B x• y Œ B,
ß Complemento NOT: " x Œ B $`x Œ B
¸ Postulado 2: Existencia de los elementos 1 y 0
¸ El 0 es el elemento neutro de la operación + :
A + 0 = A (A + 1 = 1 por definición)
A + A’ = 1
¸ El 1 es el elemento neutro de la operación · :

A · 1 = A (A · 0 = 0 por definición)
A · A’ = 0

¸ Postulado 3: Conmutabilidad de las operaciones
+y·:
A+B=B+A
A·B=B·A
¸ Postulado 4: Asociatividad de las operaciones + y

·:
A + (B + C) = (A + B) + C
A · (B · C) = (A · B) · C

¸Postulado 5: Distributividad de + sobre · y
de · sobre + :
A + (B · C) = (A + B) · (A + C)
A · (B + C) = (A · B) + (A · C)
¸Postulado 6: Existencia del Complemento

A +`A = 1
A · `A = 0
Diagramas de Venn

Principio de Dualidad
¸ Establece que si una expresión es valida en el
álgebra de boole, entonces su expresión dual
también lo es.
¸ Determinamos la expresión dual remplazando los
operadores + por · y viceversa y todos los
elemento 0 por 1 y viceversa.
¸ Leyes de Morgan:
(A + B)’ = A’ · B’
(A · B)’ = A’ + B’
Teoremas del Álgebra de Boole
¸ Teorema 1: Idempotencia
A + A = A (A + A’ = 1)
A • A = A (A • 0 = 0)
¸ Demostración:
A+A=
(A + A) • 1 =
(A + A) • (A + A’) =
A + A • A’ =
A+0=A
¸ Teorema 2: Elemento neutro para + y •
A+1=1
A•0=0
¸ Demostración:
A+1=
(A + 1) • 1 =
1 • (A + 1) =
(A + A’) • (A + 1) =
A + A’ • 1 =
A + A’ = 1
¸Teorema 3: Involución
(A’)’ = A
¸Demostración:
Del postulado 5. A • A’ = 0 y A + A’ = 1.
Por lo tanto, A’ es el complemento de A, y
al mismo tiempo A es el complemento de
A’. Ya que el complemento de A’ es único,
entonces (A’)’ = A
¸ Teorema 4: Absorción
A + AB = A
A(A + B) = A
¸ Demostración:
A + AB = A • 1 + AB P2
= A(1 + B) P5
= A(B + 1) P3
=A•1 T2
=A
¸ Teorema 5:
A + A’B = A + B
A(A’ + B) = AB
¸ Demostración:
A + A’B = (A + A’)(A + B) P5
= 1 • (A + B) P6
= (A + B) • 1 P3
= (A + B) P2

¸Teorema 6
AB + AB’ = A
(A + B)(A + B’) = A
¸Demostración:
AB + AB’ = A(B + B’) P5
=A•1 P6
=A P2

¸Teorema 7:
AB + AB’C = AB + AC
(A + B)(A + B’ + C) = (A + B)(A + C)
¸Demostración:
AB + AB’C = A(B + B’C) P5
= A(B + C) T5
= AB + AC T6
¸ Teorema 8:
(A + B)’ = A’B’
(AB)’ = A’ + B’
Demostración:
Si X = A + B, entonces X’ = (A + B)’. Por el
postulado 6, X • X’ = 0 y X + X’ = 1. Si X • Y = 0
y X + Y = 1, entonces Y = X’ debido a que el
complemento de X es único. Por lo tanto,
tomemos Y = A’B’ y probemos que X • Y y X +
Y
¸ Continuación:
X • Y = (A + B)(A’B’)
= (A’B’)(A + B) P3
= (A’B’)A + (A’B’)B P5
= A(A’B’) + (A’B’)B P3
= (AA’)B’ + A’(B’B) P4
= 0 B’ + A’(B’B) P6,P3
= B’ 0 + A’ 0 P3, P6
=0+0 T2
=0 P2
¸ Continuación:
X + Y = (A + B) + A’B’
= (B + A) + A’B’ P3
= B + (A + A’B’) P4
= B + (A + B’)
T5
= (A + B’) + B P3
= A + (B’ + B) P4
= A + (B + B’)
P3
=A+1 P6
=1 T2
¸ Teorema 9: Consenso
AB + A’C + BC = AB + A’C
(A + B)(A’ + C)(B + C) = (A + B)(A’ + C)
¸ Demostración:
AB + A’C + BC = AB + A’C + 1 • BC P2
= AB + A’C + (A + A’)BC P6
= AB + A’C + ABC + A’BC P5
= (AB + ABC) + (A’C + A’BC)
= AB + A’C T4

Ejemplos Teorema 3 y 4
¸Teorema 4:
ß (X + Y) + (X + Y)Z = X + Y [T4(a)]
ß AB'(AB' + B'C) = AB' [T4(b)]
¸Teorema 5:
ß B + AB'C'D = B + AC'D [T5(a)]

ß (X + Y)((X + Y)' + Z) = (X + Y)Z [T5(b)]
Ejemplo Teorema 6
¸ ABC + AB'C = AC [T6(a)]
¸ (W' + X' + Y' + Z')(W' + X' + Y' + Z)(W' + X' + Y + Z')(W' +

X' + Y + Z)
= (W' + X' + Y')(W' + X' + Y + Z')(W' + X' + Y + Z)
[T6(b)]
= (W' + X' + Y')(W' + X' + Y) [T6(b)]
= (W' + X') [T6(b)]

Ejemplo Teorema 7
¸ wy' + wx'y + wxyz + wxz' = wy' + wx'y + wxy + wxz'
[T7(a)]
= wy' + wy + wxz' [T7(a)]
= w + wxz' [T7(a)]
=w [T7(a)]
¸ (x'y' + z)(w + x'y' + z') = (x'y' + z)(w + x'y')

[T7(b)]

Ejemplo Teorema 8
¸(a + bc)' = (a + (bc))'
= a'(bc)' [T8(a)]
= a'(b' + c') [T8(b)]
= a'b' + a'c' [P5(b)]
¸Note: (a + bc)' ≠ a'b' + c'

Ejemplo Teorema 8
¸ (a(b + z(x + a')))' = a' + (b + z(x + a'))' [T8(b)]
= a' + b' (z(x + a'))' [T8(a)]
= a' + b' (z' + (x + a')') [T8(b)]
= a' + b' (z' + x'(a')') [T8(a)]
= a' + b' (z' + x'a) [T3]
= a' + b' (z' + x') [T5(a)]

Ejemplo Teorema 8
¸(a(b + c) + a'b)’ = (ab + ac + a'b)' [P5(b)]
= (b + ac)' [T6(a)]
= b'(ac)' [T8(a)]
= b'(a' + c') [T8(b)]

Ejemplo Teorema 9
¸ AB + A'CD + BCD = AB + A'CD [T9(a)]
¸ (a + b')(a' + c)(b' + c) = (a + b')(a' + c) [T9(b)]
¸ ABC + A'D + B'D + CD = ABC + (A' + B')D + CD
[P5(b)]
= ABC + (AB)'D + CD [T8(b)]
= ABC + (AB)'D [T9(a)]
= ABC + (A' + B')D [T8(b)]
= ABC + A'D + B'D [P5(b)]

Funciones de Conmutación
¸ Sean x1, x2, … , xn símbolos llamados variables,
cada uno representa un 0 o un 1, definiremos
f(x1,x2,…,xn) como una función de conmutación
de x1, x2, … , xn. f puede tomar el valor de 0 ó 1
según los valores para x1, x2, … , xn; si existen n
variables (xi), entonces existe 2n formas de asignar
los valores para x1, x2, … , xn y como f tiene dos
posibles valores, existen 22n diferentes funciones
para n variables.

16 Funciones de 2 Variables
A B f0 f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15
0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

¸f0(A, B) = 0
¸f1(A, B) = A’B’
¸f2(A, B) = A’B
¸f3(A, B) = A’B + A’B’ = A
¸f4(A, B) = AB’
¸f5(A, B) = AB’ + A’B’ =B’
¸f6(A, B) = AB’ + A’B
¸f7(A, B) = AB’ + A’B + A’B’ = A’ + B’
¸f8(A, B) = AB
¸f9(A, B) = AB + A’B’
¸f10(A, B) = AB + A’B = B
¸f11(A, B) = AB + A’B + A’B’ = A’ + B
¸f12(A, B) = AB + AB’ = A
¸f13(A, B) = AB + AB’ + A’B’ = A + B’
¸f14(A, B) = AB + AB’ +A’B = A + B
¸f15(A, B) = AB + AB’ + A’B + A’B’ = 1
Tablas de Verdad
¸ Evaluamos todos los posibles valores de entrada de
la función y los colocamos en una tabla en forma
ordenada de acuerdo al orden decimal.
ab f(a,b)=a+b ab f(a,b)=ab a f(a)=a'

00 0 00 0 0 1
01 1 01 0 1 0
10 1 10 0
11 1 11 1

Tablas de Verdad
¸ f(A,B,C) = AB + A'C + AC'
ABC f(A,B,C) ABC f(A,B,C)

000 0 FFF F
001 1 FFT T
010 0 FTF F
011 1 FTT T
100 1 TFF T
101 0 TFT F
110 1 TTF T
111 1 TTT T

Formas Algebraicas de las
¸ Las funciones de conmutación en la forma suma

de productos se construyen al sumar términos
producto, donde cada término producto se forma
mediante el producto lógico de variables
complementadas o sin complementar.
¸ Ejemplo:
F(A, B, C, D) = A·B’·C + B·D’ + A’·C·D’

¸ Las funciones de conmutación en la forma

producto de sumas se construyen al considerar el
producto de términos suma, donde cada término
suma se forma mediante la suma lógica de
variables complementadas o sin complementar.
¸ Ejemplo:
F(A, B, C, D) = (A’ + B + C) · (B’ + C + D’) · (A + C’ + D)

¸Las formas canónicas de las funciones de
conmutación son ciertas formas especiales
de suma de productos y producto de sumas,
que se caracterizan por ser únicas.

¸ Minitérminos. Dada una función de n variables de entrada, si un
término producto contiene cada una de las n variables, ya sea en forma
complementada o no, es un minitérmino. Si la función se representa
como una suma de minitérminos, se dice que la función tiene forma
de suma canónica de productos.
¸ Ejemplo:
F(A, B, C) = A’· B · C’ + A’ · B · C + A · B · C’ + A · B · C
¸ Para simplificar la escritura en forma de suma canónica de productos,

se usa una notación especial. A cada minitérmino se le asocia un
número binario de n bits resultante de considerar como 0 las variables
complementadas y como 1 las variables no complementadas.
¸ Ejemplo:
F(A, B, C) = m2 + m3 + m6 + m7 = Â m(2, 3, 6, 7)

Minterm Minterm Code Minterm Number

A'B'C' 000 m0
A'B'C 001 m1
A'BC' 010 m2
A'BC 011 m3
AB'C' 100 m4
AB'C 101 m5
ABC' 110 m6
ABC 111 m7

¸ Maxitérminos. Dada una función de n variables de entrada, si un
término suma contiene cada una de las n variables, ya sea en forma
complementada o no, es un maxitérmino. Si la función se representa
como un producto de maxitérminos, se dice que la función tiene
forma de producto canónico de sumas.
¸ Ejemplo:
F(A, B, C) = (A + B + C) · (A + B + C’) · (A’ + B + C) · (A’ + B + C’)
¸ Análogamente al caso anterior, podemos simplificar la expresión de la

función, indicando los maxitérminos que incluye. Sin embargo, en este
caso cada variable complementada es un 1 y viceversa, al contrario
que antes.
¸ Ejemplo:
F(A, B, C) = M5 · M1 · M4 · M0 = P M(0, 1, 4, 5)

Ejemplo de Suma de Productos
¸ Dada la función
F(A, B, Q, Z) = A’·B’·Q’·Z’ + A’·B’·Q’·Z +
A’·B·Q·Z’ + A’·B·Q·Z
¸ Expresarla en forma de lista de minitérminos.
¸ Solución:
F(A, B, Q, Z) = m0 + m1 + m6 + m7 = Âm(0, 1, 6, 7)

Ejemplo de Producto de Sumas
¸ Dada la función
F(A, B, C) = (A + B + C’) · (A + B’ + C’) · (A’ +
B + C’) · (A’ + B’ + C’)
¸ Expresarla en forma de lista de maxitérminos y de

minitérminos, y mostrar su tabla de verdad.
¸ Solución:
F(A, B, C) = M1 · M3 · M5 · M7 = ’M(1, 3, 5, 7)

Ejemplo
¸ De la tabla: F(A, B, C) = m0 + m2 + m4 + m6 = Âm(0, 2, 4, 6)

¸ En resumen: F(A, B, C) = ∏M(1, 3, 5, 7) = Âm(0, 2, 4, 6)

Simplificación de Funciones
Lógicas Sencillas
¸ La simplificación de las funciones lógicas es
una meta importante. Su importancia radica
en el hecho de que cuanto más sencilla sea
la función, más fácil será construir el circuito
equivalente. El objetivo de la simplificación es
minimizar el costo de implementación de una
función mediante componentes electrónicos,
donde el costo depende del número y
complejidad de los elementos necesarios
para construirla.

Ejemplo de Simplificación
¸ Dada la función
F(A, B, C, D) = (A·B·C) + (A·B·D) + (A’·B·C’) + (C·D) + (B·D’)
¸ Obtener la expresión mínima en forma de suma de productos.
¸ Solución:
F(A, B, C, D) = A·B·C + A·B·D + A’·B·C’ + C·D + B·D’
= A·B·C + B·(A·D + D’) + A’·B·C’ + C·D
= A·B·C + B·((A+D’) · (D + D’)) + A’·B·C’ + C·D
= A·B·C + A·B + B·D’+ A’·B·C’ + C·D
= A·B + B·D’+ A’·B·C’ + C·D
= B·D’+ B· (A + A’·C’) + C·D
= B·D’+ B· ((A + A’) · (A + C’)) + C·D
= B·D’+ B·A + B·C’ + C·D
= B· (C’ + D’)+ B·A + C·D
= B· (C·D)’+ B·A + C·D
= B + C·D + B·A
= B + C·D

Derivación de las Formas
Canónicas
¸ Teorema 10. Teorema de expansión de Shannon
(a). f(x1, x2, …, xn) = x1 f(1, x2, …, xn) + (x1)' f(0, x2, …, xn)
(b). f(x1, x2, …, xn) = [x1 + f(0, x2, …, xn)] [(x1)' + f(1, x2, …, xn)]
¸ Ejemplo: f(A,B,C) = AB + AC' + A'C

ß f(A,B,C) = AB + AC' + A'C = A f(1,B,C) + A' f(0,B,C)
= A(1_B + 1_C' + 1'_C) + A'(0_B + 0_C' + 0'_C) = A(B + C') + A'C
ß f(A,B,C) = A(B + C') + A'C = B[A(1+C') + A'C] + B'[A(0 + C') + A'C]
= B[A + A'C] + B'[AC' + A'C] = AB + A'BC + AB'C' + A'B'C
ß f(A,B,C) = AB + A'BC + AB'C' + A'B'C
= C[AB + A'B_1 + AB'_1' + A'B'_1] + C'[AB + A'B_0 + AB'_0' + A'B'_0]
= ABC + A'BC + A'B'C + ABC' + AB'C'

Canónicas
¸ Alternativa: Usar Teorema 6 para agregar los
literales faltantes.
¸ Ejemplo: f(A,B,C) = AB + AC' + A'C a la forma
canónica SOP.
ß AB = ABC' + ABC = m6 + m7
ß AC' = AB'C' + ABC' = m4 + m6
ß A'C = A'B'C + A'BC = m1 + m3
ß Por lo tanto,
f(A,B,C) = (m6 + m7) + (m4 + m6) + (m1 + m3) = Sm(1, 3, 4, 6, 7)

Canónicas
Ejemplo: f(A,B,C) = A(A + C') a la forma
canónica de POS.
A = (A+B')(A+B) =
(A+B'+C')(A+B'+C)(A+B+C')(A+B+C)
= M3M2M1M0
(A+C')= (A+B'+C')(A+B+C') = M3M1
Por lo tanto,
f(A,B,C) = (M3M2M1M0)(M3M1) = PM(0, 1, 2, 3)

Funciones Incompletamente
Especificadas
¸ Una función de conmutación puede estar incompletamente
especificada.
¸ Se omiten algunos minitérminos, los cuales se denominan
minitérminos no-importa (don’t care).
¸ Las condiciones de no-importa ocurren de dos formas:
ß Ciertas combinaciones de entrada nunca ocurren.
ß La salida debe ser 1 o 0 solo para ciertas
combinaciones.
¸ Minitérminos no-importa: di
¸ Maxitérminos no-importa: Di

Funciones Incompletamente
Especificadas
¸ Ejemplo: f(A,B,C) tiene los minitérminos m0, m3, y
m7 y los no-importa d4 y d5.
Minitérminos son: f(A,B,C) = Sm(0,3,7) + d(4,5)
Maxitérminos son: f(A,B,C) = PM(1,2,6)·D(4,5)
f '(A,B,C) = Sm(1,2,6) + d(4,5) =
PM(0,3,7)·D(4,5)
f (A,B,C)= A'B'C' + A'BC + ABC + d(AB'C' +
AB'C)
= B'C' + BC (usa d4 y omite d5)
Compuertas Lógica
¸ Formados por compuertas, que implementan las
operaciones lógicas (yand, or y not).
¸ Señales eléctricas y valores lógicos, las tablas definen con:
Voltaje Alto (H)
Voltaje Bajo (L)
¸ El diseñador decide:
Lógica 1ÆH
Positiva 0ÆL
Lógica 1ÆL o Lógica
Negativa 0 Æ H Mixta
Familia TTL

Compuertas Lógicas
a a &
AND f(a, b) = ab AND f(a, b) = ab
b b
?
a a 1
OR f(a, b) = a + b OR f(a, b) = a + b
b b
a 1
NOT a f(a) = a NOT f(a) = a
b
a a &
NAND f(a, b) = ab NAND f(a, b) = ab
b b
?
a a 1
NOR f(a, b) = a + b NOR f(a, b) = a + b
b b
EXCLUSIVE a f(a, b) = a ⊕b EXCLUSIVE a =1
OR OR
f(a, b) = a ⊕b
b b
Symbol set 1 Symbol set 2

(ANSI/IEEE Standard 91-1984)

Compuertas Lógicas
Vcc 4B 4A 4Y 3B 3A 3Y Vcc 4Y 4B 4A 3Y 3B 3A
14 13 12 11 10 9 8 14 13 12 11 10 9 8
1 2 3 4 5 6 7 1 2 3 4 5 6 7
1A 1B 1Y 2A 2B 2Y GND 1Y 1A 1B 2Y 2A 2B GND
7400: Y = AB 7402: Y = A + B
Quadruple two-input NAND gates Quadruple two-input NOR gates
Vcc 6A 6Y 5A 5Y 4A 4Y Vcc 4B 4A 4Y 3B 3A 3Y
14 13 12 11 10 9 8 14 13 12 11 10 9 8
1 2 3 4 5 6 7 1 2 3 4 5 6 7
1A 1Y 2A 2Y 3A 3Y GND 1A 1B 1Y 2A 2B 2Y GND
7404: Y = A 7408: Y = AB
Hex inverters Quadruple two-input AND gates

Compuertas Lógicas
Vcc 1C 1Y 3C 3B 3A 3Y Vcc 2D 2C NC 2B 2A 2Y
14 13 12 11 10 9 8 14 13 12 11 10 9 8
1 2 3 4 5 6 7 1 2 3 4 5 6 7
1A 1B 2A 2B 2C 2Y GND 1A 1B NC 1C 1D 1Y GND
7410: Y = ABC 7420: Y = ABCD
Triple three-input NAND gates Dual four-input NAND gates

Compuertas Lógicas
Vcc NC H G NC NC Y Vcc 4B 4A 4Y 3B 3A 3Y
14 13 12 11 10 9 8 14 13 12 11 10 9 8
1 2 3 4 5 6 7 1 2 3 4 5 6 7
A B C D E F GND 1A 1B 1Y 2A 2B 2Y GND
7430: Y = ABCDEFGH 7432: Y = A + B
8-input NAND gate Quadruple two-input OR gates
Vcc 4B 4A 4Y 3B 3A 3Y
14 13 12 11 10 9 8
1 2 3 4 5 6 7
1A 1B 1Y 2A 2B 2Y GND
7486: Y = A Å B
Quadruple two-input exclusive-OR gates

Componentes Funcionales
Básicos (Compuerta Y)
A
a b fAND (a, b) = ab A B Y Y
B
0 0 0 L L L (c)
0 1 0 L H L
1 0 0 H L L A & Y
1 1 1 H H H B
(a) (b) (d)
a) Función lógica Y o AND

b) Compuerta Y electrónica
c) Símbolo estándar
d) Símbolo IEEE
Básicos (Compuerta 0)
A
a b fOR (a, b) = a + b A B Y Y
B
0 0 0 L L L (c)
0 1 1 L H H
1 0 1 H L H A ≥1 Y
1 1 1 H H H B
(a) (b) (d)
a) Función lógica O o OR
b) Compuerta O electrónica
d) Símbolo IEEE
Básicos (Compuerta NO)
A Y
(c)
a fNOT (a) = a A Y
0 1 L H A 1 Y
1 0 H L
(a) (b) (d)
a) Función lógica NO o NOT

b) Compuerta NO electrónica
d) Símbolo IEEE
Componentes Funcionales Básicos
(Compuerta Y con Lógica Negativa)
A B Y a
y=a+b
1 1 1 b
1 0 1 A
Y (c)
0 1 1 B
0 0 0 a
(a) (b) y = ab
b
(d)
a) Tabla de verdad para la compuerta Y (L = 1, H = 0)

b) Símbolo de la compuerta Y en lógica negativa
c) Uso preferido
d) Uso impropio

(Compuerta O con Lógica Negativa)
A B Y a
y = ab
1 1 1 b
1 0 0 A
Y (c)
0 1 0 B
0 0 0 a
(a) (b) y=a+b
b
(d)
a) Tabla de verdad para la compuerta O (L = 1, H = 0)

b) Símbolo de la compuerta Y en lógica negativa
c) Uso preferido
d) Uso impropio

(Compuerta NO-Y o NAND)
a b fNAND (a, b) = ab A B Y
0 0 1 L L H
0 1 1 L H H
1 0 1 H L H
1 1 0 H H L
(a) (b)
A A A &
Y Y Y
B B B
(c) (d) (e)
a) Función lógica NO-Y o NAND

b) Compuerta NO-Y electrónica
d) Símbolo IEEE
Equivalencia de las Compuertas
NAND con AND, OR y NOT
a ab a f(a, a) = a a = a
f(a, b) = ab = ab
b
AND gate NOT gate
a a
f(a, b) = a + b = a + b
b
b
OR gate

(Compuerta NO-O o NOR)
a b fNOR (a, b) = a + b A B Y
0 0 1 L L H
0 1 0 L H L
1 0 0 H L L
1 1 0 H H L
(a) (b)
A A A ?1
Y Y Y
B B B
(c) (d) (e)
a) Función lógica NO-O o NOR

b) Compuerta NO-O electrónica
d) Símbolo IEEE
Equivalencia de las Compuertas
NOR con OR, AND y NOT
a a+b
f(a, b) = a + b a f(a, a) = a + a = a
b
OR gate NOT gate
a a
f(a, b) = ab = ab
b
b
AND gate

Sistemas Logicos 6

Uploaded by

Document Information

Original Title

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

Sistemas Logicos 6

Uploaded by

Copyright:

Available Formats

Sistemas Lógicos

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-1

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-2

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-3

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-4

¸ El 1 es el elemento neutro de la operación · :

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-7

¸ Postulado 4: Asociatividad de las operaciones + y

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-8

¸Postulado 6: Existencia del Complemento

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-10

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-16

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-17

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-22

ß B + AB'C'D = B + AC'D [T5(a)]

¸ (W' + X' + Y' + Z')(W' + X' + Y' + Z)(W' + X' + Y + Z')(W' +

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-24

¸ (x'y' + z)(w + x'y' + z') = (x'y' + z)(w + x'y')

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-25

¸Note: (a + bc)' ≠ a'b' + c'

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-26

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-27

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-28

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-29

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-30

A B f0 f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-31

ab f(a,b)=a+b ab f(a,b)=ab a f(a)=a'

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-34

ABC f(A,B,C) ABC f(A,B,C)

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-35

¸ Las funciones de conmutación en la forma suma

F(A, B, C, D) = A·B’·C + B·D’ + A’·C·D’

¸ Las funciones de conmutación en la forma

F(A, B, C, D) = (A’ + B + C) · (B’ + C + D’) · (A + C’ + D)

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-37

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-38

¸ Para simplificar la escritura en forma de suma canónica de productos,

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-39

Minterm Minterm Code Minterm Number

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-40

¸ Análogamente al caso anterior, podemos simplificar la expresión de la

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-41

¸ Expresarla en forma de lista de minitérminos.

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-42

¸ Expresarla en forma de lista de maxitérminos y de

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-43

¸ De la tabla: F(A, B, C) = m0 + m2 + m4 + m6 = Âm(0, 2, 4, 6)

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-44

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-45

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-46

¸ Ejemplo: f(A,B,C) = AB + AC' + A'C

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-47

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-48

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-49

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-50

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-53

Symbol set 1 Symbol set 2

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-54

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-55

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-56

Semestre B-2002 Dr. Wladimir Rodríguez - ULA Sistemas Lógicos 6-57

a) Función lógica Y o AND