Técnicas digitales I

Introducción
Compuertas
Algebra de Boole
Funciones lógicas
Introducción
Lógica combinacional
● Entradas y salidas (I/O)

● I/O: Toman 2 valores Verdadero - Falso ó 0 -1

● Cada combinación de 0 y 1 en la entrada nos da una

combinación de salida
Circuito
Entradas digital ● Descripción de lógica combinacional
Salidas
combinacional
○ Circuito esquemático

○ Comportamiento descrito por una función lógica

(Álgebra de Boole)

○ Tabla de la verdad.

○ Lenguaje de descripción de hardware (VHDL -Verilog).

3
Compuertas
Compuertas de 1 entrada
Buffer Negador o Not

Símbolo esquemático

A Y A Y

Tabla de la verdad 0 0 0 1

1 1 1 0

Función lógica Y=A Y=Ā

5
Compuertas de 2 entradas
And Or Xor
Símbolo esquemático

B A Y B A Y B A Y

0 0 0 0 0 0 0 0 0

Tabla de la verdad 0 1 0 0 1 1 0 1 1

1 0 0 1 0 1 1 0 1

1 1 1 1 1 1 1 1 0

Función lógica Y = A.B Y = A+B Y = A⊕B

6
Compuertas de 2 entradas
Nand Nor Xnor
Símbolo esquemático

B A Y B A Y B A Y

0 0 1 0 0 1 0 0 1

Tabla de la verdad 0 1 1 0 1 0 0 1 0

1 0 1 1 0 0 1 0 0

1 1 0 1 1 0 1 1 1

Función lógica Y = A.B Y = A+B Y = A⊕B

7
Compuertas de 3 entradas
And Or Xor
Símbolo esquemático

C B A Y C B A Y C B A Y

0 0 0 0 0 0 0 0 0 0 0 0

0 0 1 0 0 0 1 1 0 0 1 1

0 1 0 0 0 1 0 1 0 1 0 1

0 1 1 0 0 1 1 1 0 1 1 0
Tabla de la verdad 1 0 0 0 1 0 0 1 1 0 0 1

1 0 1 0 1 0 1 1 1 0 1 0

1 1 0 0 1 1 0 1 1 1 0 0

1 1 1 1 1 1 1 1 1 1 1 1

Función lógica Y = A.B.C Y =A+B+C Y =A⊕B⊕C

8
Circuito de mas de una compuerta

9
Algebra de Boole
Algebra de Boole
● Definida en 1854, por el matemático George Boole
● Contiene dos estados, Verdadero o Falso
● En los ‘30, el matemático Claude Shannon utilizó álgebra de Boole en su
tesis “A symbolic analysis of relay and switching circuits”

11
Algebra de Boole - Axiomas
● Un axioma es una proposición que es tan evidente que no requiere
demostración.
● Axiomas

a. 0 . 0 = 0 a. 1 + 1 = 1

b. 1 . 1 = 1 b. 0 + 0 = 0

c. 0 . 1 = 1 . 0 = 0 c. 1 + 0 = 0 + 1 = 1

d. Si x = 0, => x̄ = 1 d. Si x = 1, => x̄ = 0

12
Dualidad

● Una expresión es dual de otra si: Todos los ceros y unos son
intercambiados entre sí y todos los productos y sumas son
intercambiados entre sí.

● Si una proposición es verdadera entonces su dual también.

Y = A.B.C Dual => Y =A+B+C

13
Algebra de Boole - Teoremas
● Un teorema es una proposición que su verdad se debe demuestra.

● Teoremas de 1 variable:

a. x . 0 = 0 a. x + 1 = 1

b. x . 1 = x b. x + 0 = x

c. x . x = x c. x + x = x

d. x . x̄ = 0 d. x + x̄ = 1

e. x̄=x
14
Algebra de Boole - Teoremas
● Un teorema es una proposición que su verdad se debe demuestra.

● Teoremas 2 o más variables:

a. A . B = B . A a. A + B = B + A

b. (A . B) . C = A . (B . C) b. (A + B) + C = A + (B + C)

c. A . (B + C) = A.B + A.C c. A + (B . C) = (A + B).(A + C)

d. A + A . B = A d. A . (A + B) = A

e. A . B + A . B = A e. (A + B) . (A + B) = A
15
Algebra de Boole - DeMorgan
● Un teorema es una proposición que su verdad se debe demuestra.

● Teorema de DeMorgan

a. A + B = (B . A) a. A . B = (B + A)

B A /B /A /A+/B /(B.A) B A /B /A /A./B /(B+A)

0 0 1 1 1 1 0 0 1 1 1 1

0 1 1 0 1 1 0 1 1 0 0 0

1 0 0 1 1 1 1 0 0 1 0 0

1 1 0 0 0 0 1 1 0 0 0 0

16
Ejercicios
Demuestre la siguientes igualdad
x + yz = (x + y)(x + z)

Aplico distributiva
x + yz = xx + xz + yx + yz
x + yz = x + xz + yx + yz

Saco factor comun x

x + yz = x (1 + z + y) + yz

Se observa que 1 + z + y vale siempre 1

Entonces se demuestra la igualdad
x + yz = x + yz 18
Demuestre la siguientes igualdad
● (x + y)(x + /y) = x.

X Y /X /Y X+Y X + /Y (x + y)(x + /y)

0 0 1 1 0 1 0

0 1 1 0 1 0 0

1 0 0 1 1 1 1

1 1 0 0 1 1 1

19
Demuestre la siguientes igualdad
x.y + x./y = x

Aplico dualidad
(x + y) ( x + /y ) = x

Es igual al ejercicio anterior.

20
Funciones lógicas
Forma canónica
Un término canónico es aquel en el que aparecen todas las
variables de la función lógicas
Minterminos (Sintetizo unos) Maxterminos (Sintetizo ceros)

B A mintérmino B A maxtérmino
0 0 m0 = /B . /A 0 0 m0 = B + A
0 1 m1 = /B . A 0 1 m1 = B + /A
1 0 m2 = B . /A 1 0 m2 = /B + A
1 1 m3 = B . A 1 1 m3 = /B + /A

22
Función lógica de 2 Variables - 1 unos
l
B A Y0 = /B./A B A Y1 = /B.A

0 0 1 0 0 0

0 1 0 0 1 1

1 0 0 1 0 0

1 1 0 1 1 0

B A Y2 = B./A B A Y3 = B.A

0 0 0 0 0 0

0 1 0 0 1 0

1 0 1 1 0 0

1 1 0 1 1 1
23
Función lógica de 2 Variables - minterminos
B A Y

0 0 m0 = /B./A

0 1 m1 = /B. A

1 0 m2 = B. /A

1 1 m3 = B. A

B A Y1 = /B.A B A Y2 = B./A B A W = Y1 + Y2

0 0 0 0 0 0 0 0 0

0 1 1 0 1 0 0 1 1
+
1 0 0 1 0 1 1 0 1

1 1 0 1 1 0 1 1 0

24
Función lógica de 2 Variables - miniterminos
B A Y1 = /B.A B A Y2 = B./A B A W = Y1 + Y2
0 0 0 0 0 0 0 0 0
0 1 1 0 1 0 0 1 1
+ =
1 0 0 1 0 1 1 0 1
1 1 0 1 1 0 1 1 0

Y1 = /B . A Y2 = B . /A W = Y1 + Y2
W = /B . A + B . /A
W = m1 + m2
W = 𝛴 (m1; m2)

25
Función lógica de 2 Variables - 0 ceros
B A Y0 = B+A B A Y1 = B+/A

0 0 0 0 0 1

0 1 1 0 1 0

1 0 1 1 0 1

1 1 1 1 1 1

B A Y2 = /B+A B A Y3 = /B+/A

0 0 1 0 0 1

0 1 1 0 1 1

1 0 0 1 0 1

1 1 1 1 1 0
26
Función lógica de 2 Variables - maxterminos
B A Y

0 0 m0 = A+B

0 1 m1 = A+/B

1 0 m2 = /A+B

1 1 m3 = /A+/B

B A Y1 = B+A B A Y0 = /B+/A B A W = Y0 . Y1

0 0 0 0 0 1 0 0 0

0 1 1 0 1 1 0 1 1
X =
1 0 1 1 0 1 1 0 1

1 1 1 1 1 0 1 1 0

27
Función lógica de 2 Variables - maxterminos
B A Y1 = B+A B A Y0 = /B+/A B A W = Y0 . Y1
0 0 0 0 0 1 0 0 0
0 1 1 0 1 1 0 1 1
X =
1 0 1 1 0 1 1 0 1
1 1 1 1 1 0 1 1 0

Y1 = B + A Y2 = /B + /A W = Y0 . Y1
W = (B + A) . (/B + /A)
W = m0 . m3
W= 𝝿 (m0; m3)

28
Decodificador One hot (2a4)
Implemente un circuito decodificador.
En función del valor de sus entradas el circuito coloca un uno en una única salida.
Por ejemplo, si W = 00, se coloca un 1 en Y0; si W = 01, se coloca un 1 en Y1; etc

W(1) W(0) Y(3) Y(2) Y(1) Y(0)

0 0 0 0 0 1

0 1 0 0 1 0

1 0 0 1 0 0

1 1 1 0 0 0

29
Función lógica con 3 variables
Función lógica de 3 Variables

C B A Y Miniterminos Maxterminos

0 0 0 m0 /C./B./A C+ B+ A

0 0 1 m1 /C./B. A C + B+/A

0 1 0 m2 /C. B./A C+/B+A

0 1 1 m2 /C. B. A C+/B+/A

1 0 0 m4 C./B./A /C+B+A

1 0 1 m5 C./B. A /C+B+/A

1 1 0 m6 C. B./A /C+/B+ A

1 1 1 m7 C. B. A /C+/B+/A

31
Función lógica de 3 Variables

C B A Y Miniterminos Maxterminos C B A W

0 0 0 0
0 0 0 m0 /C./B./A C+ B+ A 0 0 1 1

0 1 0 1
0 0 1 m1 /C./B. A C + B+/A
0 1 1 0

0 1 0 m2 /C. B./A C+/B+A 1 0 0 1

1 0 1 0
0 1 1 m3 /C. B. A C+/B+/A
1 1 0 0

1 1 1 1
1 0 0 m4 C./B./A /C+B+A

1 0 1 m5 C./B. A /C+B+/A
W = 𝛴 (m1; m2; m4; m7)
1 1 0 m6 C. B./A /C+/B+ A W= (/C./B. A) + (/C. B./A) +(C./B./A) +(C. B. A)

1 1 1 m7 C. B. A /C+/B+/A

32
Función lógica de 3 Variables

C B A Y Miniterminos Maxterminos C B A W

0 0 0 0
0 0 0 m0 /C./B./A C+ B+ A 0 0 1 1

0 1 0 1
0 0 1 m1 /C./B. A C + B+/A
0 1 1 0

0 1 0 m2 /C. B./A C+/B+A 1 0 0 1

1 0 1 0
0 1 1 m3 /C. B. A C+/B+/A
1 1 0 0

1 1 1 1
1 0 0 m4 C./B./A /C+B+A

1 0 1 m5 C./B. A /C+B+/A
W= 𝝿
(m0; m3; m5; m6)
1 1 0 m6 C. B./A /C+/B+ A W= (C+ B+ A) . (C+/B+/A) .(/C+B+/A) .(/C+/B+ A)

1 1 1 m7 C. B. A /C+/B+/A

33
Función lógica con 4 variables
Codificador One hot (4a2)
Y(3) Y(2) Y(1) Y(0) W(1) W(0)

0 0 0 1 0 0

0 0 1 0 0 1

0 1 0 0 1 0

1 0 0 0 1 1

El resto de la combinaciones 0 0

W(0) = 𝛴 (m2; m8)

W(0) = m2 + m8
W(0) = (/Y(3) . /Y(2) . Y(1) . /Y(0)) + (Y(3) . /Y(2) . /Y(1) . /Y(0))
W(1) = 𝛴 (m4; m8)
W(1) = m4 + m8
W(1) = (/Y(3) . Y(2) . /Y(1) . /Y(0)) + (Y(3) . /Y(2) . /Y(1) . /Y(0))

35
Minimize por álgebra de boole
f(c; b; a) = Σ(m0; m1; m4; m7)
f(c; b; a) = /C /B /A + /C /B A + C /B /A + C B A
f(c; b; a) = /B (/C /A + /C A + C /A) + CBA
f(c; b; a) = /B (/C (/A + A) + C /A) + CBA
f(c; b; a) = /B (/C .1 + C /A) + CBA C A /C C./A /C + C /A
f(c; b; a) = /B (/C + /A) + CBA
0 0 1 0 1
f(c; b; a) = /B /C + /B /A + CBA
0 1 1 0 1

1 0 0 1 1

1 1 0 0 0

36
 Preguntas??

FIN