En este momento, tengo:
(x1 y y1) (x2 y y2) (x3 y y3) (x4 y y4)
Así que las salidas de estas puertas me darán 1 cuando los bits de ambos números sean iguales. El problema aquí es que obtendré resultados positivos cuando sean iguales y cuando cada bit sea diferente entre sí (porque 0,0 aún dará un 1 en una puerta y).
Probablemente me esté perdiendo algo muy obvio aquí. Gracias
4 x Xor gate ... y 4 input ni gate
Para cada par de entradas, use una entrada 4 o puerta ...
La puerta Xor da 0 cuando ambas entradas son iguales.
una entrada 4 ni una puerta dan una lógica 1 si todas las entradas son 0, y 0 si alguna entrada es 1.
o
No ((X1 XOR Y1) O (X2 XOR Y2) O (X3 XOR Y3) O (X4 XOR Y4))
"0,0 todavía dará un 1 en una puerta AND". No, no lo hará. ¿Está utilizando cuatro puertas AND de 2 entradas que alimentan un AND de 4 entradas? Eso solo será cierto cuando todas las entradas sean verdaderas (1).
La prueba de equivalencia necesita más que AND. Para probar A == B, debe hacer A y B o NO A Y NO B, normalmente escrito AB + A'B '. Esto se denomina compuerta XNOR (*), es decir, exclusiva N (por ejemplo) O. En su caso, solo necesita Y junto la salida de 4 puertas XNOR.
(*) Creo que NOR exclusivo es un mal nombre. Sería mejor llamarlo un AND inclusivo. Eso ayudaría con el diseño de lógica mixta en el que comienza con toda la lógica positiva y las barras inclinadas para los complementos. Tomé esta imagen de un artículo sobre este tema de Mohamad Adnan Al-Alaoui:
InclusiveAND:(A+B')*(A'+B)=(A*B)+(A'*B')ExclusiveOR:(A*B')+(A'*B)=(A+B)*(A'+B')Editar:ElANDinclusivoincluyeelcasoenelqueambossonfalsos,yelORexclusivoexcluyeelcasoenelqueambossonverdaderos.Muchaconfusiónsurgecuandounonoestáclaroacercadelaexclusividaddeunacondición.Alguienpreguntarásies"A o B" (OR), pero realmente quiere preguntar si es "A o B, pero no ambos" (XOR). Además, creo que en este caso la pregunta fue usar Y en un sentido inclusivo para significar equivalencia.
Lea otras preguntas en las etiquetas digital-logic