Dado que ya tiene la respuesta del diagrama, fácilmente accesible desde
wikipedia escribiendo el título de su pregunta en Google, como un diagrama .png
idéntico al suyo, debería ser fácil para usted encontrar la fórmula extrayéndola de ese diagrama. Dada la definición NAND como
NAND(A,B)=AB¯¯¯¯¯¯¯¯:
La puerta más a la izquierda da ;C=AB¯¯¯¯¯¯¯¯
La puerta superior da ;D1=AC¯¯¯¯¯¯¯¯
La puerta superior da , ya que la NAND se conmuta como la AND;D2=BC¯¯¯¯¯¯¯¯
La puerta de la derecha da .E=D1D2¯¯¯¯¯¯¯¯¯¯¯¯
Poniendo todo junto, primero notamos que
C=AB¯¯¯¯¯¯¯¯=A¯¯¯¯+B¯¯¯¯
D1¯¯¯¯¯¯=AC=A(A¯¯¯¯+B¯¯¯¯)=AA¯¯¯¯+AB¯¯¯¯=0+AB¯¯¯¯=AB¯¯¯¯
Del mismo modo: D2¯¯¯¯¯¯=BA¯¯¯¯
Así
E=D1D2¯¯¯¯¯¯¯¯¯¯¯¯=D1¯¯¯¯¯¯+D2¯¯¯¯¯¯=AB¯¯¯¯+BA¯¯¯¯
Cuál es precisamente la definición de XOR. Puede revertir todo esto si desea comenzar desde sus datos iniciales, en lugar de simplemente verificar la respuesta.
Encontrar la respuesta sin conocimiento previo
Esto tiene como objetivo responder a la solicitud explícita, agregada como una edición de la pregunta, para encontrar una solución desde cero. Dado que la pregunta es sobre un proceso de pensamiento, estoy dando todos los detalles.
AB
XOR(A,B)=AB¯¯¯¯+BA¯¯¯¯.
Entonces podemos intentar adivinar qué tipo de entrada a esta puerta produciría la salida deseada.
NAND(X,Y)=XY¯¯¯¯¯¯¯¯=X¯¯¯¯+Y¯¯¯¯
Unificando esta última fórmula con el resultado que tenemos que obtener, obtenemos:
Tenga en cuenta que esta es solo la posibilidad más simple. Hay otros pares de entradas que darían el resultado deseado, porque no nos estamos unificando en un álgebra libre, ya que NAND tiene propiedades equitativas. Pero lo intentamos para empezar.
XYAB
Podríamos intentar repetir el procedimiento de unificación (lo hice), pero esto naturalmente nos llevará a usar cuatro puertas más, por lo tanto, a una solución de 5 puertas.
XYZAB
XYZABAB
AB
Z=NAND(A,B)=AB¯¯¯¯¯¯¯¯=A¯¯¯¯+B¯¯¯¯
ZABXY
AB
Es fácil verificar que
NAND(Z,A)=ZA¯¯¯¯¯¯¯=AB¯¯¯¯¯¯¯¯A¯¯¯¯¯¯¯¯¯¯¯¯¯=(A¯¯¯¯+B¯¯¯¯)A¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯=A¯¯¯¯A+B¯¯¯¯A¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯=0+B¯¯¯¯A¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯=B¯¯¯¯A¯¯¯¯¯¯¯¯=AB¯¯¯¯¯¯¯¯¯¯¯¯=X
NAND(Z,B)=Y
Por lo tanto, podemos componer estas cuatro puertas para obtener el resultado deseado, es decir, la función XOR.