IMPLY puerta

La puerta IMPLY es una puerta lógica digital que implementa una condición lógica . ^{[ 1 ]}

IMPLY se puede denotar en expresiones algebraicas con el símbolo lógico de flecha hacia la derecha (→). Lógicamente, es equivalente a la implicación material y a la expresión lógica ¬A v B.

Existen dos símbolos para las compuertas IMPLY: el símbolo tradicional y el símbolo IEEE . Para obtener más información, consulte Símbolos de compuertas lógicas .

Si bien la puerta de implicación no es funcionalmente completa por sí misma, sí lo es en conjunto con la fuente constante 0. Esto se puede demostrar de la siguiente manera:

${\displaystyle {\begin{aligned}A\rightarrow 0&:=\neg A\\(A\rightarrow 0)\rightarrow B&=\neg (\neg A)\lor B\\&=A\lor B.\end{aligned}}}$

Por lo tanto, dado que la puerta de implicación con la adición de la fuente constante 0 puede crear tanto la puerta NOT como la puerta OR, puede crear la puerta NOR, que es una puerta universal.

• Puerta NIMPLY
• Puerta AND
• NO puerta
• Puerta NAND
• Puerta NOR
• Puerta XOR
• Puerta XNOR
• Álgebra booleana (lógica)
• Puertas lógicas

-