Contenido

Introducción
Algebra de Boole y Proposiciones
Funciones y Conectivos Binarios
Diseño Lógico Postulados, Axiomas y Teoremas
Postulados de Huntington - Shannon
Luis Parraguez Axiomas
Teoremas
Sección de Sistemas Digitales y Control Funciones, variables y expresiones
Departamento de Electricidad Suma de Productos (SDP)
Ingeniería, Anzoátegui, UDO Producto de Sumas (PDS)
Circuitos Lógicos
Compuertas Básicas
Análisis de Circuitos Lógicos Combinatorios
Síntesis de Circuitos Lógicos Combinatorios
Circuitos Integrados
El Costo del Diseño (Otra visión)

Introducción a la Lógica Binaria Proposiciones (1)

S1

L
Lógica: Estudio sistemático del razonamiento.
11
00
+
Binario: Sólo dos valores posibles:
−
verdadero / falso.
endendido / apagado.
Proposiciones: Proposición Compuesta:
cerrado / abierto.
A : S1 se activa. Si S1 se activa, entonces L prende.
si / no.
B : L prende. A⇒B
0 / 1.
Proposiciones (2) Proposiciones (3)
S1 S2 S1
L
L

11
00
+

11
00
+ S2
−
−

Proposiciones: Proposición Compuesta: Proposiciones: Proposición Compuesta:

A : S1 se activa. L prende, si y solo si S1 se activa A : S1 se activa. L prende, si y solo si S1 se activa

y S2 se activa. o S2 se activa.
C : S2 se activa. C : S2 se activa.
B ≡ A∧C B ≡ A∨C
B : L prende. B : L prende.

Función de Verdad Conectivos Binarios

F(A,B,C) = A ∧ B ∨ C
0 * / A \ B ⊕ + ↓ ⇔ B ⇐ A ⇒ ↑ 1
= A∗B +C A B F00 F01 F02 F03 F04 F05 F06 F07 F08 F09 F10 F11 F12 F13 F14 F15
El Cálculo Funcional de Verdad permite expresar FF F F F F F F F F V V V V V V V V
proposiciones, que son las especificaciones básicas FV F F F F V V V V F F F F V V V V
de cualquier diseño, de una manera compacta y sin
ambiguedades, apropiada para el manejo matemático VF F F V V F F V V F F V V F F V V
de ellas. VV F V F V F V F V F V F V F V F V
Conectivos Binarios (2) Evaluación de las Funciones de Verdad
F1 = A ∗ B And F = A∗B +C
F6 = A ⊕ B Xor A B C A*B A*B+C
F7 = A + B Or F F F F F
F F V F V
F8 = A + B Nor F V F F F
F9 = A ⊕ B Nxor F V V F V
V F F F F
F10 = B Not V F V F V
F12 = A Not V V F V V
V V V V V
F14 = A ∗ B Nand

Tautología Postulados (1)

1.- B es un conjunto cerrado:
A⊕B = A∗B +A∗B a) con respecto al operador + :
∀ (a, b) ∈ B : a + b ∈ B
A B A B AB AB AB + AB A ⊕ B = b) con respecto al operador ∗ :
F F V V F F F F V ∀ (a, b) ∈ B : a ∗ b ∈ B
F V V F F V V V V
2.- Existe un elemento neutro:
V F F V V F V V V a) 0 con respecto a +:
V V F F F F F F V ∃0 ∈ B/∀a ∈ B : a + 0 = a
a) 1 con respecto a ∗:
∃1 ∈ B/∀a ∈ B : a ∗ 1 = a
Postulados (2) Postulados (3)

3.- B es conmutativo:
a) con respecto a + :
5.- Para cada elemento a en B,
∀ (a, b) ∈ B : a + b = b + a
existe un complemento a definido por:
b) con respecto a ∗ :
a) a + a = 1
∀ (a, b) ∈ B : a ∗ b = b ∗ a
b) a ∗ a = 0
4.- Distributividad en B :
a) ∗ es distributivo con respecto a + : 6.- Existen al menos dos elementos (a, b) en
∀ (a, b, c) ∈ B : a ∗ (b + c) = (a ∗ b) + (a ∗ c) B tal que a 6= b
b) + es distributivo con respecto a ∗ :
∀ (a, b, c) ∈ B : a + (b ∗ c) = (a + b) ∗ (a + c)

Axiomas Teoremas de una variable

0 0
A1 x = 0 si x 6= 1 A1 x = 1 si x 6= 0 Identidad T1 x + 0 = x T1 x ∗ 1 = x
0 0
A2 si x = 0 ⇒ x = 1 A2 si x = 1 ⇒ x = 0 Frontera T2 x + 1 = 1 T2 x ∗ 0 = 0
0 0
A3 0 ∗ 0 = 0 A3 1 + 1 = 1 Idempotencia T3 x + x = x T3 x ∗ x = x
0 0
A4 1 ∗ 1 = 1 A4 0 + 0 = 0 Involución T4 x = x T4
0 0
A5 0 ∗ 1 = 1 ∗ 0 = 0 A5 1 + 0 = 0 + 1 = 1 Complemento T5 x + x = 1 T5 x ∗ x = 0
Teoremas de dos variables Teoremas generalizados de n variables

Idempotencia
Cobertura o T6 x + (x ∗ y ) = x T9 x + x + x + ... + x = x
0 0
Absorción T6 x ∗ (x + y ) = x T9 x ∗ x ∗ x ∗ ... ∗ x = x
Eliminación T7 x + (x ∗ y ) = x + y De Morgan
0 T10 x1 + x2 + ... + xn = x1 ∗ x2 ∗ ... ∗ xn
T7 x ∗ (x + y ) = x ∗ y 0
T10 x1 ∗ x2 ∗ ... ∗ xn = x1 + x2 + ... + xn
De Morgan T8 x + y = x ∗ y Expansión de Shannon
0
T8 x ∗ y = x + y T11 F(x1 ,x2 ,...,xn ) = x1 ∗ F(1,x2 ,...,xn ) + x1 ∗ F(0,x2 ,...,xn )
0


T11 F(x1 ,x2 ,...,xn ) = x1 + F(0,x2 ,...,xn ) ∗ x1 + F(1,x2 ,...,xn )

Demostración de Teoremas: Identidad Demostración de Teoremas: Frontera

T1 : x + 0 = x T1 : x + 1 = 1
Usando inducción completa (perfecta): Usando inducción completa (perfecta):

   
0+0 = 0 , si x = 0 , por A4 0+1 = 1 , si x = 0 , por A5
x +0= ⇒x +0 = x x +1= ⇒x +1 = 1
1+0 = 1 , si x = 1 , por A5 1+1 = 1 , si x = 1 , por A3

p. d. p.d.
q. e. q. e.
Demostración de Teoremas: Cobertura
T1 : x + (x ∗ y ) = x
x +(x ∗y ) = (x ∗1)+(x ∗y )
= x ∗(1+y )
= x ∗(1)
= x
. p.d.
q.e
Producto Cartesiano
I Un Producto Cartesiano de S = {0, 1} está
formado por n-uplas:
SxS = {(0, 0) , (0, 1) , (1, 0) , (1, 1)} = {(x, y )}
SxSxS = {(0, 0, 0) , (0, 0, 1) , ..., (1, 1, 1)} = {(x, y , z)}
Funciones, variables y expresiones
En el álgebra de "switches" (subconjunto binario del
álgebra de Boole):
I Una variable x puede tener uno de solo dos
0
, T1 o P2b posibles valores: (0 ó 1).
I Una expresión F está formada por la combinación
, P4b
de:
, T2 I Constantes (0 ó 1),
0
, T1 o P2b I Variables (x, y , ...), y
I Operadores lógicos (∗, +, ...)
F(x,y ) = x ∗ y + x ∗ y + x
Función
Una Función Combinatoria F : S n → S, donde
S = {0, 1}, consiste de:
I Un conjunto no vacío S n llamado el dominio de la
función.
I Un conjunto no vacío S llamado el rango de la
función.
I Una regla que asigna uno, y sólo un elemento, de
S a cada elemento de S n y viceversa.
Función (2) Suma de Productos (SDP)
Una función de dos variables F(x,y ) es aquella que
"mapea" cada elemento del dominio SxS a solo uno I = x ∗y +x ∗y +x
Función SDP: F(x,y )
del rango S:
I Términos Producto: x ∗ y , x ∗ y , x
F(x,y ) = 0 ∗ x ∗ y + 1 ∗ x ∗ y + 1 ∗ x ∗ y + 1 ∗ x ∗ y I Términos Mínimos (Productos normales) :
x ∗y , x ∗y
Mapa de Función Tabla de Verdad Literales
x y F x y F F(x,y ) = x ∗ y + x ∗ y + x
I
x y 0 0 0 0 I Suma No Canónica de Productos: Función formada
x y 1 0 1 1 por la suma de productos, donde algunos no son productos
normales.
x y 1 1 0 1
x y 1 1 1 1

Suma Canónica de Productos Término Mínimo (Mintérmino)

Un Término Mínimo es un producto normal cuyo valor

es 1 sólo en una fila de la Tabla de Verdad.
F(x,y ) = x ∗ y + x ∗ y i x y Mintérmino
= xy + xy 0 x y m0 = x̄ ȳ
x y m1 = x̄y
= Σ (1, 2) 1

2 x y m2 = x ȳ
3 x y m3 = xy
Producto de Sumas (PDS) Producto Canónico deSumas

I = (x + y ) ∗ (x + y ) ∗ x
Función PDS: F(x,y )
I Términos Suma: x + y , x + y , x
I Términos Máximos (Sumas normales) : x + y , x + y F(x,y ) = (x + y ) ∗ (x + y )
Literales
F(x,y ) = ( x + y ) ∗ ( x + y )∗ x
= Π (2, 1)
I

I Producto No Canónico de Sumas: Función formada

por el producto de sumas, donde algunas no son sumas
normales.

Término Máximo (Maxtérmino) Términos Mínimos y Máximos

Un Término Máximo es una suma normal cuyo valor

es 0 sólo en una fila de la Tabla de Verdad. i x y Mintérmino Maxtérmino
0 0 0 m0 = x ∗ y M0 = x + y
i x y Maxtérmino
1 0 1 m1 = x ∗ y M1 = x + ȳ
0 x y M0 = x + y
2 1 0 m2 = x ∗ y M2 = x̄ + y
1 x y M1 = x + ȳ
3 1 1 m3 = x ∗ y M3 = x̄ + ȳ
2 x y M2 = x̄ + y
mi = Mi
3 x y M3 = x̄ + ȳ
Mi = mi
Compuertas Básicas Compuertas Básicas (2)

A A
F F
B AND F = A ∗ B B NAND F = A ∗ B
A A
F F
B OR F = A+B B NOR F = A + B
A A
F F
B XOR F = A ⊕ B B NXOR F = A ⊕ B
A F A F
Buffer F = A NOT F = A

Ejemplo (Tabla de Verdad) Ejemplo (Circuito)

Vcc F(x,y ,z) = xy + x̄ ȳz
F(x,y ,z) = xy + x̄ ȳz
x
x y z xy x y x̄ ȳz F
_
0 0 0 0 1 1 0 0 x
0 0 1 0 1 1 1 1
x*y
0 1 0 0 1 0 0 0
y
0 1 1 0 1 0 0 0 F
1 0 0 0 0 1 0 0 _
y
1 0 1 0 0 1 0 0 _ _
1 1 0 1 0 0 0 1 x*y*z
1 1 1 1 0 0 0 1
z
Ejemplo (Diagrama de Tiempo) Análisis de Circuitos Lógicos Combinatorios

F(x,y ,z) = xy + x̄ ȳz Diagrama Esquemático

Funciones de Salida
x
Minimización
y
Tabla de Salidas
z Simulación

F Diagramas de Tiempo

Síntesis de Circuitos Lógicos Combinatorios Conceptualización (1)

La activación de la alarma A (función que deseamos

obtener) depende de tres variables lógicas binarias (o
Diseño de un Sistema de Alarma forzadas a serlo): H (Hora), P (Puerta) y V (Ventana).

Planteamiento del Problema: H

Diseñe un circuito lógico combinatorio que active una
Sistema
P A
alarma, si es de noche y se abre una puerta o una
ventana.
Digital
V
Conceptualización (2). Tabla Funcional Conceptualización (3). Valores posibles

0 , Horas Diurnas
H P V A H=
1 , Horas Nocturnas
Día Cerrada Cerrada Inactiva 
Día Cerrada Abierta Inactiva 0 , Puerta Cerrada
P=
Día Abierta Cerrada Inactiva 1 , Puerta Abierta
Día Abierta Abierta Inactiva 
0 , Ventana Cerrada
Noche Cerrada Cerrada Inactiva V=
1 , Ventana Abierta
Noche Cerrada Abierta Activa
Noche Abierta Cerrada Activa

0 , Alarma Inactiva
A=
Noche Abierta Abierta Activa 1 , Alarma Activa

Tabla de la Verdad y Ecuaciones Realización (SDP)

H 0 0 0 0 1 1 1 1 A = HPV + HPV + HPV

P 0 0 1 1 0 0 1 1 H
V 0 1 0 1 0 1 0 1 P
A 0 0 0 0 0 1 1 1
V

A(H,P,V ) = HPV + HPV + HPV

= m5 + m6 + m7 A

= ∑(5, 6, 7)
Realización (Directa) ¿Son lógicamente iguales (tautología)?

I Un método más intuitivo, y nada formal, consiste en obtener

una expresión directa desde el planteamiento del problema. H P V P+V H(P+V ) HPV HPV HPV ∑(5, 6, 7) =
I Esto requiere la utilización precisa, y sin ambiguedades, del 0 0 0 0 0 0 0 0 0 1
lenguaje. 0 0 1 1 0 0 0 0 0 1
I La alarma se activará (A) si y sólo si, es de noche (H) y, se 0 1 0 1 0 0 0 0 0 1
abre una puerta (P) o se abre una ventana (V). 0 1 1 1 0 0 0 0 0 1
I A(H,P,V ) = H ∗ (P + V ) 1 0 0 0 0 0 0 0 0 1
1 0 1 1 1 1 0 0 1 1
H
A=H(P+V) 1 1 0 1 1 0 1 0 1 1
P
V 1 1 1 1 1 0 0 1 1 1
P+V

¿Son iguales en costo? Minimización [1]

Compuerta H (P + V ) HPV + HPV + HPV A = HPV + HPV + HPV

A = HPV + HPV + HPV + HPV Idempotencia
Not 0 2
A = HPV + HPV + HPV + HPV Conmutatividad
And 2E 1 0


A = HV P + P + HP V + V Distributividad
And 3E 0 3
A = HV (1) + HP (1) Complemento
Or 2E 1 0
A = HV + HP Identidad
Or 3E 0 1
A = HP + HV Conmutatividad
Total 2 6
A = H (P + V ) Distributividad
Minimización [2] Substitución de Inversores
x
F
A = HPV + HPV + HPV


F = x ∗x F = x
A = H PV + PV + PV Distributividad


A = H PV + P V + V Distributividad F
  x F = x ∗1 F = x
A = H PV + P (1) Complemento

A = H PV + P

Identidad x
F
A = H (V + P) Eliminación F = x +x F = x
A = H (P + V ) Conmutatividad x
F
F = x +0 F = x

Realización con NAND Realización con NAND [2]

H
A
P
A = H(P + V ) V
P A = H P̄V + HP V̄ + HPV
H A

A = HP + HV Distributividad V A = H P̄V + HP V̄ + HPV Involución

P
H A

A = H P̄V HP V̄ HPV De Morgan

A = HP + HV Involución V
P
H A
A = HPPV HPVV HPV Substitución de Inversores
A = HP HV De Morgan V
Realización con NAND (Circuito) [2] Circuitos Integrados
Las compuertas normalmente vienen encapsuladas en Circuitos
A = HPPPV HPVVV HPV Integrados (CI)
H
P

Circuitos Integrados [2] Circuitos Integrados [3]

Circuitos Integrados [4] El Costo del Diseño (Otra visión)

H(P+V ) HPV+HPV+HPV HP HV
Comp. C.I. Compuertas C.I. Comp. C.I.
Not 0 0 2 1 0 0
And 2E 1 1 0 0 0 0
And 3E 0 0 3 1 0 0
Nand 2E 0 0 0 0 3 1
Or 2E 1 1 0 0 0 0
Or 3E 0 0 1 1 0 0
Total 2 2 6 3 3 1

Diseño por ceros (PDS) ¿Son lógicamente iguales (Tautología)?

H P V A H P V ∑(5, 6, 7) M0 M1 M2 M3 M4 Π(0, 1, 2, 3, 4) =
0 0 0 0
0 0 0 0 0 1 1 1 1 0 1
0 0 1 0 A(H,P,V ) = (H + P + V ) ∗ H + P + V ∗


0 0 1 0 1 0 1 1 1 0 1
0 1 0 0 H +P +V
∗ H +P +V ∗
0 1 1 0 H +P +V 0 1 0 0 1 1 0 1 1 0 1
1 0 0 0 = M0 ∗ M1 ∗ M2 ∗ M3 ∗ M4 0 1 1 0 1 1 1 0 1 0 1
1 0 1 1 = ∏ (0, 1, 2, 3, 4) 1 0 0 0 1 1 1 1 0 0 1
1 1 0 1 1 0 1 1 1 1 1 1 1 1 1
1 1 1 1 1 1 0 1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1 1 1 1
Realización (PDS) Realización con el inverso de la función
A = (H+P+V)(H+P+V)(H+P+V)(H+P+V)(H+P+V)

H 0 Tomaremos los unos de la función como si fueran ceros (el dual

1
2 también es verdadero), entonces
P 3
4
V 5 H P V A
0
2 0 0 0 0
4
0 0 1 0
0



2 0 1 0 0 A(H,P,V ) = H+P+V ∗ H+P+V ∗ H+P+V
5
0 1 1 0 = M5 ∗ M6 ∗ M7
0 A
3 1 0 0 0 = ∏ (5, 6, 7)
4
1 0 1 1
0
3 1 1 0 1
5
1 1 1 1
1
2
4

Realización con el inverso (circuito) Realización con NOR

A = H+P+V H+P+V H+P+V
H 0
1
2
P 3
4
V 5
1
¡Asignación para la casa!
2
5
1
4 A
5
1
3
5