IMPLY gate

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

Symbols

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

The logic symbol → can be used to denote IMPLY in algebraic expressions.

IMPLY gate implemented by two memristors

IMPLY gate can be implemented by two memristors.^[1]

Logical connectives

Tautology $\top$

NAND $\uparrow$ Converse implication $\leftarrow$ Implication $\rightarrow$ OR $\lor$

Negation $\neg$ XOR $\oplus$ Biconditional $\leftrightarrow$ Statement

NOR $\downarrow$ Nonimplication $\nrightarrow$ Converse nonimplication $\nleftarrow$ AND $\land$

Contradiction $\bot$

This article is issued from Wikipedia - version of the 10/17/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.