The IMPLY gate is a digital logic gate that implements a logical conditional.

This article does not cite any sources. (August 2020)

IMPLY can be denoted in algebraic expressions with the logic symbol right-facing arrow (→). Logically, it is equivalent to material implication, and the logical expression ¬A v B.

There are two symbols for IMPLY gates: the traditional symbol and the IEEE symbol. For more information see Logic gate symbols.

While the Implication gate isn't functionally complete by itself, it is in conjunction with the constant 0 gate. This can be shown via the following:

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

Thus as the implication gate with the addition of the constant 0 gate can create both the NOT gate and the OR gate, it can create the NOR gate, which is a universal gate.

Wikimedia Commons has media related to IMPLY_gates.

• NIMPLY gate
• AND gate
• NOT gate
• NAND gate
• NOR gate
• XOR gate
• XNOR gate
• Boolean algebra (logic)
• Logic gates

This computing article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e