Duda sobre el problema 3.1 del libro base de problemas (B)
PREGUNTA:
Me estoy mirando el capítulo de lógica y en el capítulo 3 del libro
de problemas hay un ejercicio de sumadores de 2 bits... (página 120,
121,122,123), y al estudiarlo encuentro dificultad en entender las
reglas en lógica a partir de las conexiones, es decir por qué se
escriben así las reglas 14, 15, 16, 17, 18, 19, ya que si no se
entiende bien esto no se puede seguir.
RESPUESTA:
En la regla 14 se define la función 'xor' de dos entradas. xor(x,y) es
cierto cuando una de las dos es cierta y la otra es falsa.
Las reglas 15 y 16 expresan el funcionamiento del semisumador. (Ver la
definición del semisumador al final de la página 122.)
Las reglas 17 y 18 expresan el funcionamiento del sumador. (Ver definición
también al final de la página 122.)
Finalmente, la regla 19 establece la propagación de los valores
lógicos a través de las conexiones. Los hechos 4 a 11 definen las
conexiones del circuito.