lunes, 25 de febrero de 2013

Equivalencias de un conjunto completo:

Equivalencias del conjunto completo anterior con sólo puertas NAND :

  • NAND(A,A) \equiv \overline{A}\,
  • NAND[(NAND(A,B),(NAND(A,B)] \equiv A \and B
  • NAND[(NAND(A,A),(NAND(B,B)] \equiv A \or B
  • NAND[(NAND(B,B),((NAND(A,A)),(NAND(B,B))] \equiv A \rightarrow B
Equivalencias del conjunto completo anterior con sólo puertas NOR :
  • NOR(A,A) \equiv \overline{A}\,
  • NOR[(NOR(A,B)), (NOR(A,B)] \equiv A \or B
  • NOR[(NOR(A,A)), (NOR(B,B)] \equiv A \and B
  • NOR[ (NOR((NOR(A,A)),B), NOR((NOR(B,B),A)] \equiv A \rightarrow B

No hay comentarios:

Publicar un comentario