Razonar en base a los postulados y teoremas del álgebra de Boole si es posible o no definir un álgebra de Boole para B = {0, a, 1} ó B = {0, a, b, 1}

Transcripción

1 Razonar en base a los postulados y teoremas del álgebra de Boole si es posible o no definir un álgebra de Boole para B = {0, a, 1} ó B = {0, a, b, 1} a) B = {0, a, 1} X + 0 = X; X 1 = X X + 1 = 1; X 0 = 0 X + X = X; X X = X 0 a a a 1 0 a 1 0 a a 0 a 1 0 a 1 0 a a 0 a a 1 0 a a a 1 a a a a 1 a a a a 1 a a a

2 a) B = {0, a, 1} 0 a a 0 a a 1 0 a a a 1 a a a P1. X + Y Є B; X Y Є B. CIERTO P2. Propiedades conmutativa. CIERTO (las tablas son simétricas). P4. Elemento identidad. CIERTO (se ha utilizado para generar las tablas). P5. Elemento complementado. FALSO. No existe el complemento de a. No hay un valor X tal que: a + X = 1 (solo el valor 1) y a X = 0 (solo el valor 0). B = {0, a, 1} NO puede formar un álgebra de Boole 2

3 b) B = {0, a, b, 1} X + 0 = X; X 1 = X X + 1 = 1; X 0 = 0 X + X = X; X X = X 0 a b a a b b 1 0 a b 1 0 a b a 0 a b 0 b 1 0 a b 1 0 a b a 0 a a b 0 b b 1 0 a b a b a b 1 a a b b a b a b 1 a a 1 b b a b a b 1 a a a 1 b b b

4 b) B = {0, a, b, 1} 0 a b a 0 a a b 0 b b 1 0 a b 1 X + ഥX = 1; X ഥX = a b a b 1 a a a 1 b b b : 0 + X= 1 (1); 0 X= 0 (0, a, b, 1) => ത0 = 1 1: 1 + X= 1 (0, a, b, 1); 1 X= 0 (0) => ത1 = 0 a: No tiene complemento salvo que a b = 0 y a + b = 1. Ahora: a X = 0 (0, b) y a + X = 1 (1, b) => തa = b b: No tiene complemento salvo que b a = 0 y b + a = 1. Ahora: b X = 0 (0, a) y b + X = 1 (1, a) => തb = a 0 a b a 0 a 0 a b 0 0 b b 1 0 a b a b a b 1 a a a 1 1 b b 1 b

5 b) B = {0, a, b, 1} 0 a b a 0 a 0 a b 0 0 b b 1 0 a b a b a b 1 a a a 1 1 b b 1 b P1. X + Y Є B; X Y Є B. CIERTO P2. Propiedades conmutativa. CIERTO (las tablas son simétricas). P4. Elemento identidad. CIERTO (se ha utilizado para generar las tablas). P5. Elemento complementado. CIERTO (se ha utilizado para generar las tablas). P3. X ( Y + Z ) = (X Y) + (X Z); X + ( Y Z ) = (X + Y) (X + Z) Hay que comprobar los 64 casos posibles 5

6 b) B = {0, a, b, 1} 0 a b a 0 a 0 a b 0 0 b b 1 0 a b 1 P3. X ( Y + Z ) = (X Y) + (X Z); X + ( Y Z ) = (X + Y) (X + Z) X Y Z Y+Z X(Y+Z) XY XZ XY+XZ a b 0 b b 1 a 1 b b 0 b 0 1 b b a b 1 b 0 b b + 0 a b a b 1 a a a 1 1 b b 1 b Para estos 4 casos cumple P3, y lo cumple para los 64 casos X Y Z YZ X+YZ X+Y X+Z (X+Y)(X+Z) a b 0 0 a 1 a a b 1 a a b b b 1 b b b a b 0 b 1 b b B = {0, a, b, 1} SI puede formar un álgebra de Boole 6

7 Demostrar los teoremas de Boole T6 y T8 por perfecta inducción sobre el álgebra de conmutación. T6. Leyes de Morgan: X + Y = ഥX ഥY, y X Y = ഥX + ഥY X Y X Y X+Y X + Y X Y X Y X Y X + Y

8 T8. Teorema del consenso: X Y + തX Z + Y Z = X Y + തX Z X Y Z X X Y X Z Y Z X Y + X Z X Y + X Z + Y Z Teorema del consenso: X + Y തX + Z Y + Z = X + Y ( തX + Z) X Y Z X X + Y X + Z Y + Z X + Y ( X + Z) X + Y X + Z (Y + Z)

9 Demostrar los teoremas T1, T2, T7 y T9 mediante los postulados y los teoremas anteriores del álgebra de Boole. T1. Doble complementación. നX = X. Si X + Y = 1 y X Y = 0 => Y = ഥX (P5) Si X + Y = 1 y X Y = 0 => Y + X = 1 e Y X = 0 => => X = ഥY (P2, P5) Entonces X = ഥY = (ഥX) = നX T2. Idempotencia. X + X = X; X X = X. X + X = (X + X) 1 = (P4) = (X + X) (X + ഥX) = (P5) = X + X ഥX = (P3) = X + 0 = (P5) = X (P4) X X = X queda demostrado por el principio de dualidad 9

10 Demostrar los teoremas T1, T2, T7 y T9 mediante los postulados y los teoremas anteriores del álgebra de Boole. T7. Adyacencia. X Y + X ഥY = X; (X + Y) (X + ഥY) = X. X Y + X ഥY = = X (Y + ഥY) = (P3) = X 1 = (P5) = X (P4) (X + Y) (X + ഥY) = X queda demostrado por el principio de dualidad T9. Simplificación. X + ഥX Y = X + Y; X (ഥX + Y) = X X + ഥX Y = = (X + ഥX) (X + Y) = (P3) = 1 (X + Y) = (P5) = (X + Y) 1 = (P2) = X + Y (P4) X (ഥX + Y) = X queda demostrado por el principio de dualidad 10

11 Demostrar, utilizando únicamente postulados y teoremas del álgebra de conmutación, que se cumple que: AB AC ( A C)( A B) A + C ഥA + B = (P3) = A ഥA + B + C ഥA + B = (T9) = A B + C ഥA + B = (P3) = A B + ഥA C + B C = (T8) = A B + ഥA C A B + ഥA C = (P3) = A + ഥA C B + ഥA C = (T9) = A + C B + ഥA C = (P3) = A + C ഥA + B (B + C) = (T8) = A + C ഥA + B 11

12 Simplificar las siguientes expresiones lógicas a) A B + A C + A BC ഥA ഥB + ഥA തC + A ഥB C = (P3) = ഥB (ഥA + A C) + ഥA തC = (T9) = ഥB(ഥA + C) + ഥA തC = (P3) = C ഥB + തC ഥA + ഥB ഥA = (T8) = C ഥB + തC ഥA = (P2) = ഥA തC + ഥB C b) A + B A + C A + B ( ഥA + തC ) = (T6) = A + B + ഥA + തC = (T1,T6) = A + B + A C = (T4) = A + B 12

13 Simplificar las siguientes expresiones lógicas c) A B C + A B C + A C B A + C + B C + A B C B A + C + ഥB C + A ഥB തC = (P3) = A B + B C + ഥB C + A ഥB തC = (T7) = A B + C + A ഥB തC = (T9) = A B + C + A ഥB = (T7) = A + C A B തC + A B തC + ഥA C B A + C + ഥB C + A ഥB തC = = A B തC + A B തC + ഥA C A + C = (P3) = A B തC + A B തC A + C + ഥA C A + C = (T4) = A B തC + A B തC + ഥA C A + C = (T2) = A B തC + ഥA C A + C (T4) = A B തC + ഥA C 13

14 Simplificar las siguientes expresiones lógicas d) A + B + C A + B + A B A B + C A + B + C A + ഥB + ഥA B ഥA B + തC = (T9) = A + B + C A + ഥB + ഥA B തC = (P3) = A + B + C ഥB + ഥA B തC = (T9) = A + ഥB C + ഥA B തC = (T6) = ഥA ഥB C + ഥA B തC = (T6) = ഥA നB + തC + ഥA B തC = (T1) = ഥA B + തC + ഥA B തC = (P3) = ഥA B + ഥA തC + ഥA B തC = (T9) = ഥA B + ഥA തC + തC = (T4) = ഥA B + തC 14

15 Simplificar las siguientes expresiones lógicas e) A B + C B C B C A B + C A B + C B ഥC B തC A B + C = = ഥP T T P = (T6) P = A B + C; T = B തC = ഥP T T + ഥP = (T1) = ഥP T T + ഥP = (T6) = P + ഥT T + ഥP = (T9) = P T + ഥP = (T9) = T + ഥP = P = A B + C; T = B തC = B തC + A B + C = (T6) = B തC + A B തC = (T6) = B തC + ഥA + ഥB തC = (P3) = B തC + ഥA തC + ഥB തC = (T7) = തC + ഥA തC = (T4) = തC 15

16 Simplificar las siguientes expresiones lógicas f) A + B C A C + B + C A + B A + B തC ഥA C = X Y = ഥX Y + X ഥY = A + B തC ഥA C + A + B തC ഥA C = (T6s) = ഥA ഥB + C ഥA C + A + B തC A + തC = (T2) = ഥA ഥB + C C + A + B തC A + തC = (T4) = ഥA C + A + B തC A + തC = (P3) = ഥA C + A + B തC തC = (T2, T9) = A + C + B തC = (T9) = A + B + C 16

17 Simplificar las siguientes expresiones lógicas f) A + B C A C + B + C A + B B + C A + B = X Y = ഥX ഥY + X Y B + C A + B + B + C A + B = (T1) = B + C A + B + B + C A + B = (T6) = ഥB തC A + B + B + C ഥA ഥB = (T9) = A ഥB തC + ഥA ഥB C A + B തC ഥA C + B + C A + B = = A + B + C + A ഥB തC + ഥA ഥB C = (T4) = A + B + C + ഥA ഥB C = (T4) = A + B + C 17

18 g) A C + D B A + C + D + B C A A C + ഥD ഥB ഥA + C = X Y = ഥX ഥY + X Y = A C + ഥD ഥB ഥA + C + A C + ഥD ഥB ഥA + C = (T1) = A C + ഥD ഥB ഥA + C + A C + ഥD ഥB ഥA + C = (T6) = A C + ഥD ഥB ഥA + C + A C + ഥD ഥB ഥA + C = (T6) = A C + ഥD B + ഥA + C + A C + ഥD ഥB ഥA + C = (T6s) = A C + ഥD B + ഥA + C + ഥA + തC D ഥB A തC = (T1) = A C + ഥD B + ഥA + C + ഥA + തC D ഥB A തC = (T9s) = A C + ഥD B + C + തC D ഥB A തC = (T2) = A C + ഥD B + C + A ഥB ഥC D = (P3) = A C + B ഥD + A ഥB ഥC D (P3) = A C + B ഥD + ഥB ഥC D = (T9) = A C + B ഥD + ഥB D 18

19 g) A C + D B A + C + D + B C A A C + ഥD ഥB ഥA + C + ഥD + ഥB C A = = A C + B ഥD + ഥB D + ഥD + ഥB C A = (T6s) = A C + B ഥD + ഥB D + A D B + തC = (P3) = A C + B ഥD + ഥB D + D B + തC = (P3) = A C + B ഥD + ഥB D + B D + ഥC D = (T9) = A C + B ഥD + ഥB D + B D + D = (T4) = A C + B ഥD + D = (T9) = A B + C + D 19

20 Se define la diferencia booleana de una función F(x1, x2,, xk,, xn), df/d(xk) como F(x1, x2,, 0,, xn) F(x1, x2,, 1,, xn). Calcular la diferencia booleana df/dx4, donde F x1, x2, x3, x4 = x1 + x2 + x3 x4 + x4 x2 + x3 x4 F(x1, x2, x3, 0) = x1 + x2 + x x2 + x3 0 x1 + x2 + x x2 + x3 0 = (T3) = x1 + ത0 + 0 x2 + 0 = (P4) = x x2 = (T3) = 1 F(x1, x2, x3, 1) = x1 + x2 + x x2 + x3 1 x1 + x2 + x x2 + x3 1 = (P4) = x1 + x2 + x3 + 1 x2 + x3 = X 1 = ഥX = x1 + x2 + x3 + x2 + x3 = (T2) = x1 + x2 + x3 = (T6) = x1 + x2 x3 20

21 Se define la diferencia booleana de una función F(x1, x2,, xk,, xn), df/d(xk) como F(x1, x2,, 0,, xn) F(x1, x2,, 1,, xn). Calcular la diferencia booleana df/dx4, donde F x1, x2, x3, x4 = x1 + x2 + x3 x4 + x4 x2 + x3 x4 F(x1, x2, x3, 0) = 1 F(x1, x2, x3, 1) = x1 + x2 x3 df/dx4 = F(x1, x2, x3, 0) F(x1, x2, x3, 1) = = 1 x1 + x2 x3 = X 1 = ഥX = x1 + x2 x3 = (T6s) = x1 x2 + x3 21

22 Representar las siguientes funciones lógicas mediante puertas lógicas. Simplificarlas y representar el circuito reducido. A + B A C + B C + A C 22

23 A + ഥB A തC + ഥB C + A തC = (T6) = A + ഥB A തC ഥB C A തC = (T1) = A + ഥB A തC ഥB C A തC = (T6) = A + ഥB A തC B + തC ഥA + C = (T6s) = ഥA നB A തC B + തC ഥA + C = (T1) = ഥA B A തC B + തC ഥA + C = X Y = ഥX Y + X ഥY = ഥA B ഥA തC + A C B + തC ഥA + C = (T4) = ഥA B ഥA തC + A C B + തC = (T4) = ഥA B ഥA തC + A C = (P3) = B ഥA ഥA തC + ഥA A C = (T2, P5) = B ഥA തC + 0 C = (T3) = B ഥA തC + 0 = (P4) = ഥA B തC 23

24 Representar las siguientes funciones lógicas mediante puertas lógicas. Simplificarlas y representar el circuito reducido. A B + C CD A D + BD + A 24

25 A B + C തC D ഥA D + B D + A = (T6) = A B + C തC D ഥA + D + B D + A = (T1) = A B + C തC D ഥA + D + B D + A = (T6s) = A B + C + ധC + ഥD ഥA + ഥD B D + A = (T1) = A B + C + C + ഥD ഥA + ഥD B D + A = (T2) = A B + C + ഥD ഥA + ഥD B D + A = (P3) = A B ഥA + C ഥA + ഥD ഥA + ഥD B D + ഥD A = (P5,T3,P4) = C ഥA + ഥD ഥA + ഥD A = (T7) = ഥA C + ഥD 25

26 Encontrar la función lógica que realiza el siguiente circuito. Simplificarla y construir un nuevo circuito reducido. A B C U5C U5B U5A U3B U3A L1 U2B U2A Z U3D U3C U4A U1A 26

27 Encontrar la función lógica que realiza el siguiente circuito. Simplificarla y construir un nuevo circuito reducido. 27

28 A B ഥB + C + A C ഥB + ഥA C = (T6s) = A B + ഥB + C + A C ഥB ഥA C = (T1) = A B + ഥB + C + A C ഥB ഥA C = (T6s) = A B + B തC + ഥA + തC ഥB A + തC = (T7) = A B + B തC + ഥB തC = (T7) = A B + തC 28

29 Una bombilla (B) en un panel de control se enciende si: el sistema (S) está ON y, el modo (M) de funcionamiento es automático, ó bien el modo de funcionamiento es manual y el control (C) está en situación de espera. Representar este enunciado por una función lógica y su correspondiente circuito lógico. Simplificar la función lógica si es posible y realizar el circuito lógico. Variable Tipo Símbolo Verdadero Falso Bombilla Salida B Encendida, B, 1 Apagada, ഥB, 0 Sistema Entrada S ON, S, 1 OFF, തS, 0 Modo Entrada M Automático, M, 1 Manual, ഥM, 0 Control Entrada C Espera, C, 1 No espera, തC, 0 Bomb. encendida: Sist. ON y [M. auto. o (M. manual y Cont. en espera)] B = S ( M + ഥM C ) B = S (M + ഥM C) = = S (M + C) (T9) 29

30 A, B y C coleccionan muebles. A está interesado en muebles de salón excepto mesas inglesas, o muebles ingleses que no sean mesas. B está interesado en muebles que no sean mesas, y que sean ingleses o sean muebles de salón no ingleses. C está interesado en muebles de salón ingleses, o en mesas no inglesas. Determinar la tabla de verdad y una función lógica reducida para los muebles buscados por separado por A, por B, y por C y los muebles buscados por dos o más coleccionistas. A ( ( salón y no ( mesas inglesas ) o ( ingleses y no mesas) ) A = S M I + I ഥM B ( no mesas y ( ingleses o ( de salón y no ingleses ) ) ) B = ഥM (I + S I ҧ ) C ( ( salón e ingleses ) o ( mesas y no inglesas ) ) C = S I + M Iҧ D ( 2 coleccionistas: A y B, o A y C, o B y C, o 3 coleccionistas: A y B y C ) D = A B + A C + B C + A B C 30

31 A = S M I + I ഥM B = ഥM (I + S I ҧ ) C = S I + M Iҧ D = A B + A C + B C + A B C തS ഥM I + S ഥM I = ഥM I S ഥM I ҧ + S M I ҧ = S Iҧ Tabla de verdad: S M I A B C D D = തS ഥM I + S ഥM I ҧ + S ഥM I + S M Iҧ D = ഥM I + S ҧ I 31

32 A = S M I + I ഥM B = ഥM (I + S I ҧ ) C = S I + M Iҧ D = A B + A C + B C + A B C Álgebra de conmutación A = S M I + I ഥM = (T6) = S ഥM + I ҧ + ഥM I = (P3) = S ഥM + S I ҧ + ഥM I = (T8, I) = S I ҧ + ഥM I B = ഥM (I + S I ҧ ) = = ഥM (I + S) (T9) C = S I + M ҧ I D = A B + A C + B C + A B C = = A B + A C + B C (T4) 32

33 ҧ ҧ ҧ ҧ ҧ ҧ ҧ ҧ ҧ ҧ ҧ ҧ ҧ ҧ Álgebra de conmutación A B = (S I + I ഥM) ഥM (I + S) = (P3, T2) = (S I ഥM + I ഥM) (I + S) = (P3, T2, P5, T3, P4) = I ഥM + S I ഥM + S I ഥM = (T7) = ഥM I + S ഥM A C = (S I + I ഥM) (S I + M I) = (P3, T2, P5, T3, P4) = S M I + S ഥM I B C = ഥM (I + S) (S I + M I) = (P3, P5, T3, P4) = ഥM S I (I + S) = (T4) = S ഥM I D = ഥM I + S ഥM + S M I + S ഥM I + S ഥM I = (T2) = ഥM I + S ഥM I + S ഥM + S M I = (T4) = ഥM I + S ഥM + S M I = (P3) = ഥM I + S ( ഥM + M I) = (T9) = ഥM I + S ( ഥM + I) = (P3) = S ഥM + S I + ഥM I = (P8, I) = S I + ഥM I 33

34 Una corporación financiera debe resolver un problema transcendente para su futuro. Para ello su presidente pide opinión a sus tres mejores economistas A, B y C, y conociendo como razonan decide que se tomará una decisión positiva si A y B están a favor, ó no lo están ni A ni C, ó si lo está B pero no C. Los economistas utilizan el siguiente proceso de decisión: - A está a favor si hace buen tiempo y, es antes del mediodía siendo el día del mes par o es después del mediodía. - B está en contra si el día del mes es impar o hace buen tiempo y, es antes del mediodía o hace mal tiempo. - C está en contra si es antes del mediodía, hace mal tiempo y el día del mes es par. a) Encontrar las ecuaciones lógicas que definen el sistema e implementarlas con puertas lógicas. Utilizar el álgebra de conmutación para resolver simplificando al máximo posible el resultado de la decisión en función de los factores ambientales, e implementarla con puertas lógicas. b) Encontrar el resultado de la decisión usando únicamente tablas de verdad. 34

35 a) Encontrar las ecuaciones lógicas que definen el sistema e implementarlas con puertas lógicas. A, B, C a favor, y por tanto ഥA, ഥB y തC en contra (no a favor) T buen tiempo y ഥT mal tiempo (no buen tiempo) M antes del mediodía y ഥM después del mediodía (no antes) P día par y ഥP impar (no par) La decisión D es positiva si A y ( ) B están a favor (A B), ó (+) no lo están ni A ni C (ഥA തC), ó (+) si lo está B pero no C (B തC) => D = F(A, B, C) = A B + ഥA തC + B തC. A está a favor si hace buen tiempo (T) y, (es antes del mediodía (M) siendo ( ) el día del mes par (P) o (+) es después del mediodía ( ഥM) ) A = F1(M, T, P) = T (M P + ഥM) B está en contra (ഥB) si (el día del mes es impar (ഥP) o (+) hace buen tiempo (T) ) y ( ), (es antes del mediodía (M) o (+) hace mal tiempo (ഥT) ) B = F2(M, T, P); ഥB = (ഥP + T) (M + ഥT) => B = ഥP + T M + ഥT. C está en contra തC si es antes del mediodía (M), ( ) hace mal tiempo (ഥT) y ( ) el día del mes es par (P) C = F3(M, T, P); തC = M ഥT P => C = M ഥT P. 35

36 D = A B + ഥA തC + B തC A = T (M P + ഥM) ഥB = (ഥP + T) (M + ഥT) => B = ഥP + T തC = M ഥT P => C = M ഥT P M + ഥT 36

37 a) Utilizar el álgebra de conmutación para resolver simplificando al máximo posible el resultado de la decisión en función de los factores ambientales, e implementarla con puertas lógicas. D = A B + ഥA തC + B തC A = T (M P + ഥM) ഥB = (ഥP + T) (M + ഥT) => B = ഥP + T തC = M ഥT P => C = M ഥT P M + ഥT D = A B + ഥA തC + B തC = A B + ഥA തC (T8, A) A = T (M P + ഥM) = T (P + ഥM) (T9) ഥA = T P + ഥM = ഥT + ഥP M (T6s) ഥB = (ഥP + T) (M + ഥT) B = ഥP + T M + ഥT = P ഥT + ഥM T (T6s) തC = M ഥT P D = A B + ഥA തC = = T P + ഥM P ഥT + ഥM T + ഥT + ഥP M M ഥT P = (T4) = T P + ഥM P ഥT + ഥM T + M ഥT P = (P3, T2, P5, T3, P4) = T ഥM P + ഥM + M ഥT P = (T4) = T ഥM + ഥT M P. 37

38 b) Encontrar el resultado de la decisión usando únicamente tablas de verdad. D = A B + ഥA തC + B തC A = T (M P + ഥM) ഥB = (ഥP + T) (M + ഥT) => B = ഥP + T തC = M ഥT P => C = M ഥT P M + ഥT T M P M P M P+ ഥM A T+ഥP ഥT+M B C AB ഥA തC B തC D D = ഥT M P + T ഥM ഥP + T ഥM P = = ഥT M P + T ഥM (T7) 38

39 La representación de números con signo puede hacerse mediante un código de dígitos con signo, en el que cada dígito binario puede tomar tres valores: +1, 0 y -1. El valor +1 añade el peso positivo en binario natural (2 i : 1, 2, 4, 8, 16, ) del dígito al valor final del número, el valor -1 añade el peso negativo, y el valor 0 no añade peso. Cada dígito Di se representa en binario por dos bits (Si Ri), y el valor del dígito Di = Si Ri: (1 0) es +1, (0 1) es 1; (0 0) y (1 1) son 0. Un número N en código de dígitos con signo se puede pasar a un número X en complemento-2 en tres pasos: - Para cada dígito Di, Yi es 1, si el dígito i es +1 ó 1, y 0 si el dígito es 0. - Para cada dígito Di, Zi se obtiene del dígito menos significativo (D0) al más significativo (Dn). Z0 = 0; para el resto de los dígitos Zi es 1 si el dígito D(i-1) toma el valor 1, si el dígito D(i-1) toma el valor +1 Zi es 0, y Zi = Z(i-1) si el dígito D(i-1) toma el valor 0. - Xi es 1 si Yi y Zi son distintos, y Xi es 0 si Yi y Zi son iguales. Siguiendo el enunciado, indicar las funciones lógicas que definen un circuito que realiza la conversión de código de dígitos con signo de 4 dígitos a complemento-2, e implementarlas con puertas lógicas. 39

40 Rango de valores de N (-15, +15) => X necesita 5 bits ( ) N Mínimo: Máximo: Extiendo D con un quinto dígito D4 con valor siempre 0. (00 ó 11 en SR) Cálculo de Y: Para cada dígito Di, Yi es 1, si el dígito i es +1 ó 1, y 0 si el dígito es 0. D i S i R i Y i D i = -1 D i = Y i = S i R i para i de 0 a 3; Y 4 = 0, ya que D 4 es 0 (D i = -1) = ഥS i R i (D i = 0) = S i R i Cálculo de X: Xi es 1 si Yi y Zi son distintos, y Xi es 0 si Yi y Zi son iguales. Y i Z i X i X i = Y i Z i para i de 1 a 3; X 0 = Y 0 0 = Y 0, ya que Z 0 es 0 X 4 = 0 Z 4 = Z 4, ya que Y 4 es 0 40

41 Para cada dígito Di, Zi se obtiene del dígito menos significativo (D0) al más significativo (Dn). Z0 = 0; para el resto de los dígitos Zi es 1 si el dígito D(i-1) toma el valor 1, si el dígito D(i-1) toma el valor +1 Zi es 0, y Zi = Z(i-1) si el dígito D(i-1) toma el valor 0. Z 0 = 0 Para i de 1 a 4: Zi es 1 cuando el digito D i-1 es -1 (S i 1 R i 1 ), o cuando D i-1 es 0 (S i 1 R i 1 = Y i 1 ) y Z i-1 es 1. Z 0 = 0 Z i = (D i-1 = -1) + (D i-1 = 0) Z i-1 => Z i = S i 1 R i 1 + S i 1 R i 1 Z i-1 Z 1 = S 0 R 0 + Y 0 Z 0 = S 0 R 0 + S 0 R 0 Z 0 = = S 0 R 0 + S 0 R 0 0 = S 0 R 0 Z 2 = ഥS 1 R 1 + ഥY 1 Z 1 = ഥS 1 R 1 + S 1 R 1 Z 1 Z 3 = S 2 R 2 + Y 2 Z 2 = S 2 R 2 + S 2 R 2 Z 2 Z 4 = S 3 R 3 + Y 3 Z 3 = S 3 R 3 + S 3 R 3 Z 3 41

42 El circuito original queda: Versión alternativa. Genera ഥY i y usa X i = Y i Z i = ഥY i Z i. Ahorra 3 NOTs. 42

43 Se quiere diseñar un circuito que, dado un número N de 4 bits (N3 N2 N1 N0), genere como salida un número C de 4 bits (C3 C2 C1 C0) que sea el complemento a 2 de N. El circuito debe realizar la transformación siguiendo este algoritmo: sea Nk el bit a valor 1 de N de menor índice k, entonces para cada bit i de C, Ci = Ni si i k, y Ci = si i > k. El circuito debe diseñarse mediante un circuito formado por dos bloques B1 y B2: B1. Lee los bits de entrada de N y genera una señal intermedia Z de 4 bits (Z3 Z2 Z1 Z0). Siguiendo el algoritmo Zi es 0 si i k, y Zi es 1, si i > k. B2. Ci = Ni si Xi es 0; Ci =, si Zi = 1. Mostrar en tablas de verdad la operación de los bloques B1 y B2, encontrar las ecuaciones lógicas reducidas que permiten definir sus salidas, y diseñar el circuito utilizando puertas lógicas de dos entradas. 43

44 B1. Lee los bits de entrada de N y genera una señal intermedia Z de 4 bits (Z3 Z2 Z1 Z0). Siguiendo el algoritmo, sea Nk el bit a valor 1 de N de menor índice k, Zi es 0 si i k, y Zi es 1, si i > k. Función N3 N2 N1 N0 Z3 Z2 Z1 Z0 N3 N2 N1 N N3 N2 N1 N N2 N1 N0 X N1 N0 X X N0 X X X Z0 = 0 Z1 = N0 Z2 = N0 + N1 N0 = N0 + N1 (T9) Z3 = N0 + N1 N0 + N2 N1 N0 = (T9) = N0 + N1 + N2 N1 = (T9) = N0 + N1 + N2 = Z2 + N2 44

45 B2. Ci = Ni si Zi es 0; Ci =, si Zi = 1. Zi Ni Ci Ci = Ni Zi Z0 = 0, C0 = N0 0 = N0 El circuito queda: 45

46 Encontrar las formas canónicas SOP y POS de las siguientes funciones lógicas: F(A, B, C) = (0, 5, 6, 7) F(A, B, C) = (2, 3, 4, 6, 7) F(A, B, C) = (1, 2, 4, 5, 6, 7) F(A, B, C, D) = (3, 4, 6, 7, 9, 11, 12, 14, 15) F(A, B, C, D) = (0, 2, 3, 5, 7, 8, 12, 13) F(A, B, C, D) = (1, 2, 4, 5, 6, 7, 12, 15) F(A, B, C, D) = (0, 4, 5, 8, 9, 10, 13, 14, 15) 46

47 Funciones 3 entradas de A B C Decimal SOP POS ഥA ഥB തC A + B + C ഥA ഥB C A + B + തC ഥA B തC A + ഥB + C ഥA B C A + ഥB + തC A ഥB തC ഥA + B + C A ഥB C ഥA + B + തC A B തC ഥA + ഥB + C A B C ഥA + ഥB + തC F(A, B, C) = (0, 5, 6, 7) = (1, 2, 3, 4) F(A, B, C) = ഥA ഥB തC + A ഥB C + A B തC + A B C = = (A + B + തC ) (A + ഥB + C ) (A + ഥB + തC ) (ഥA + B + C) F(A, B, C) = (2, 3, 4, 6, 7) = (0, 1, 5) F(A, B, C) = ഥA B തC + ഥA B C + A ഥB തC + A B തC + A B C = = (A + B + C ) (A + B + തC ) (ഥA + B + തC ) F(A, B, C) = (1, 2, 4, 5, 6, 7) = (0, 3) F(A, B, C) = (A + B + തC ) (A + ഥB + C ) (ഥA + B + C ) (ഥA + B + തC) (ഥA + ഥB + C) (ഥA + ഥB + തC) = ഥA ഥB തC + ഥA B C 47

48 Funciones 4 entradas de A B C D Decimal SOP POS ഥA ഥB തC ഥD A + B + C + D ഥA ഥB തC D A + B + C + ഥD ഥA ഥB C ഥD A + B + തC + D ഥA ഥB C D A + B + തC + ഥD ഥA B തC ഥD A + ഥB + C + D ഥA B തC D A + ഥB + C + ഥD ഥA B C ഥD A + ഥB + തC + D ഥA B C D A + ഥB + തC + ഥD A ഥB തC ഥD ഥA + B + C + D A ഥB തC D ഥA + B + C + ഥD A ഥB C ഥD ഥA + B + തC + D A ഥB C D ഥA + B + തC + ഥD A B തC ഥD ഥA + ഥB + C + D A B തC D ഥA + ഥB + C + ഥD A B C ഥD ഥA + ഥB + തC + D A B C D ഥA + ഥB + തC + ഥD F(A, B, C, D) = (3, 4, 6, 7, 9, 11, 12, 14, 15) = (0, 1, 2, 5, 8, 10, 13) F(A, B, C, D) = ഥA ഥB C D + ഥA B തC ഥD + ഥA B C ഥD + ഥA B C D + A ഥB തC D + A ഥB C D + + A B തC ഥD + A B C ഥD + A B C D = (A + B + C + D) (A + B + C + ഥD) (A + B + തC + D) (A + ഥB + C + ഥD) (ഥA + B + C + D) (ഥA + B + തC + D) (ഥA + ഥB + C + ഥD) 48

49 F(A, B, C, D) = (0, 2, 3, 5, 7, 8, 12, 13) = (1, 4, 6, 9, 10, 11, 14, 15) F(A, B, C, D) = ഥA ഥB തC ഥD + ഥA ഥB C ഥD + ഥA ഥB C D + ഥA B തC D + ഥA B C D + A ഥB തC ഥD + A B തC ഥD + A B തC D = (A + B + C + ഥD) (A + ഥB + C + D) (A + ഥB + തC + D) (ഥA + B + C + ഥD) (ഥA + B + തC + D) (ഥA + B + തC + ഥD) (ഥA + ഥB + തC + D) (ഥA + ഥB + തC + ഥD) F(A, B, C, D) = (1, 2, 4, 5, 6, 7, 12, 15) = (0, 3, 7, 8, 9, 10, 11, 14) F(A, B, C, D) = (A + B + C + ഥD) (A + B + തC + D) (A + ഥB + C + D) (A + ഥB + C + ഥD) (A + ഥB + തC + D) (A + ഥB + തC + ഥD) (ഥA + ഥB + C + D) (ഥA + ഥB + തC + ഥD) = ഥA ഥB തC ഥD + ഥA ഥB C D + ഥA B C D + A ഥB തC ഥD + A ഥB തC D + A ഥB C ഥD + A ഥB C D + A B C ഥD F(A, B, C, D) = (0, 4, 5, 8, 9, 10, 13, 14, 15) = (1, 2, 3, 6, 7, 11, 12) F(A, B, C, D) = ഥA ഥB തC ഥD + ഥA B തC ഥD + ഥA B തC D + A ഥB തC ഥD + A ഥB തC D + A ഥB C ഥD + A B തC D + A B C ഥD + A B C D = (A + B + C + ഥD) (A + B + തC + D) (A + B + തC + ഥD) (A + ഥB + തC + D) (A + ഥB + തC + ഥD) (ഥA + B + തC + ഥD) (ഥA + ഥB + C + D) 49

50 Encontrar las tablas de verdad y las funciones lógicas en notación decimal de los siguientes enunciados: Se quiere obtener si un número está en unos intervalos dados, produciendo 1 lógico en los intervalos [2, 4] y [6, 8], y 0 lógico en los intervalos [0] y [9, 13]. Dichos números están codificados mediante el código Gray. Se quiere calcular cuando, para dos números binarios A y B de dos bits, el resultado de la operación A/B + B/A es entero. Los resultados sólo tienen importancia cuando la operación matemática no es indeterminada. Se quiere obtener en Z (Z1Z0) el valor máximo de en binario de dos números A (A1A0) y B (B1B0) binarios de 2 bits, sabiendo que la suma de A y B no puede ser 3. 50

51 Se quiere obtener si un número está en unos intervalos dados, produciendo 1 lógico en los intervalos [2, 4] y [6, 8], y 0 lógico en los intervalos [0] y [9, 13]. Dichos números están codificados mediante el código Gray. Decimal G3 G2 G1 G0 Gray Z ϕ ϕ ϕ ϕ Z = F(G3, G2, G1, G0) = (2, 3, 4, 5, 6, 12) + ϕ (1, 7, 8, 9) = = (0, 10, 11, 13, 14, 15) ϕ (1, 7, 8, 9) 51

52 Se quiere calcular cuando, para dos números binarios A y B de dos bits, el resultado de la operación A/B + B/A es entero. Los resultados sólo tienen importancia cuando la operación matemática no es indeterminada. Decimal A1 A0 B1 B0 A B Valor Z ϕ ϕ ϕ ϕ ϕ ϕ ϕ Z = F(A1, A0, B1, B0) = (5, 10, 15)+ ϕ (0, 1, 2, 3, 4, 8, 12) = = (6, 7, 9, 11, 13, 14) ϕ (0, 1, 2, 3, 4, 8, 12) 52

53 Se quiere obtener en Z (Z1Z0) el valor máximo de en binario de dos números A (A1A0) y B (B1B0) binarios de 2 bits, sabiendo que la suma de A y B no puede ser 3. Decimal A1 A0 B1 B0 A B A+B MAX Z1 Z ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ Z1 = F(A1, A0, B1, B0) = (2, 7, 8, 10, 11, 13, 14, 15) + ϕ (3, 6, 9, 12) = = (0, 1, 4, 5) ϕ (3, 6, 9, 12) Z0 = F(A1, A0, B1, B0) = (1, 4, 5, 7, 11, 13, 14, 15) + ϕ (3, 6, 9, 12) = = (0, 2, 8, 10) 53 ϕ (3, 6, 9, 12)