This article needs additional citations for verification . Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources:  "IMPLY gate"  –  news · newspapers · books · scholar · JSTOR (November 2025) ( Learn how and when to remove this message )

The IMPLY gate is a digital logic gate that implements a logical conditional. ^[1]

Contents

• Symbols
• Functional completeness
• See also
• References

Symbols

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.

Traditional IMPLY Symbol		IEEE IMPLY Symbol

Functional completeness

While the Implication gate is not functionally complete by itself, it is in conjunction with the constant 0 source. 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, since the implication gate with the addition of the constant 0 source can create both the NOT gate and the OR gate, it can create the NOR gate, which is a universal gate.

See also

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

References

-

This computing article is a stub. You can help Wikipedia by adding missing information.

• v
• t
• e