The IMPLY gate is a digital
logic gate
A logic gate is a device that performs a Boolean function, a logical operation performed on one or more binary inputs that produces a single binary output. Depending on the context, the term may refer to an ideal logic gate, one that has, for ...
that implements a
logical conditional
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of ...
.
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
The Institute of Electrical and Electronics Engineers (IEEE) is an American 501(c)(3) organization, 501(c)(3) public charity professional organization for electrical engineering, electronics engineering, and other related disciplines.
The IEEE ...
symbol. For more information see
Logic gate symbols.
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:
Thus as 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
*
NIMPLY gate
*
AND gate
The AND gate is a basic digital logic gate that implements the logical conjunction (∧) from mathematical logic AND gates behave according to their truth table. A HIGH output (1) results only if all the inputs to the AND gate are HIGH (1). If a ...
*
NOT gate
Not or NOT may also refer to:
Language
* Not, the general declarative form of "no", indicating a negation of a related statement that usually precedes
* ... Not!, a grammatical construction used as a contradiction, popularized in the early 1990 ...
*
NAND gate
In digital electronics, a NAND (NOT AND) gate is a logic gate which produces an output which is false only if all its inputs are true; thus its output is complement to that of an AND gate. A LOW (0) output results only if all the inputs to the ...
*
NOR gate
The NOR (NOT OR) gate is a digital logic gate that implements logical NOR - it behaves according to the truth table to the right. A HIGH output (1) results if both the inputs to the gate are LOW (0); if one or both input is HIGH (1), a LOW o ...
*
XOR gate
XOR gate (sometimes EOR, or EXOR and pronounced as Exclusive OR) is a digital logic gate that gives a true (1 or HIGH) output when the number of true inputs is odd. An XOR gate implements an exclusive disjunction, exclusive or (\nleftrightarrow) ...
*
XNOR gate
The XNOR gate (sometimes ENOR, EXNOR, NXOR, XAND and pronounced as exclusive NOR) is a digital logic gate whose function is the logical complement of the exclusive OR ( XOR) gate. It is equivalent to the logical connective (\leftrightarrow) fr ...
*
Boolean algebra (logic)
In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variable (mathematics), variables are the truth values ''true'' and ''false'', usually denot ...
*
Logic gates
A logic gate is a device that performs a Boolean function, a logical operation performed on one or more Binary number, binary inputs that produces a single binary output. Depending on the context, the term may refer to an ideal logic gate, one ...
Logic gates
{{compu-stub