Sobre la base de la respuesta de Bob y de su pregunta sobre las ecuaciones:
El concepto básico a recordar es el teorema de DeMorgen. Usando + para OR, * para AND, y ~ para NOT,
~ (a + b) = (~ a * ~ b)
~ (a * b) = (~ a + ~ b)
En otras palabras, la salida de una compuerta NOR es equivalente a la salida de una compuerta AND con las entradas invertidas. Y viceversa: la salida de una compuerta NAND es equivalente a la salida de una compuerta OR con las entradas invertidas.
Si mueve todas las inversiones a un lado, obtendrá:
(a + b) = ~ (~ a * ~ b)
(a * b) = ~ (~ a + ~ b)
En otras palabras, una puerta OR es equivalente a una puerta NAND con entradas invertidas, y una puerta AND es equivalente a una puerta OR con entradas invertidas.
El truco a realizar es que puedes mover las "burbujas" e implementar el teorema de DeMorgen con el esquema. He escuchado esto llamado "el juego de burbujas". La idea es averiguar qué función necesita con solo la "lógica positiva" utilizando los AND y los OR. Luego juegue el juego de las burbujas y conviértalos en todos los NAND y NOR con burbujas en las entradas, luego mueva las burbujas a lo largo de las líneas (dos en una línea cancela) para hacer NAND y NOR simples. A veces también se necesita un inversor adicional aquí o allá.
El juego de burbujas tiene cuatro reglas:
1) Puede cambiar los AND u OR de (N) AND y (N) OR con burbujas en todos los terminales.
2) Puedes "empujar" una burbuja desde la salida a las entradas, haciendo que todas estén invertidas.
3) Puede "empujar" burbujas desde todas las entradas hasta la salida, invirtiendo la salida.
4) Se cancelan dos burbujas en una línea.
Aquí hay un ejemplo.
Resultaquesisolocambiamoslapuertadesalida,podemosguardarunoodospasos...
Saludos.