The NIMPLY 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
material nonimplication
Material nonimplication or abjunction () is a term referring to a logic operation used in generic circuits and Boolean algebra. It is the negation of Material conditional, material implication. That is to say that for any two propositions P and Q ...
.
Symbols
A right-facing arrow with a line through it (
) can be used to denote NIMPLY in algebraic expressions. Logically, it is equivalent to
material nonimplication
Material nonimplication or abjunction () is a term referring to a logic operation used in generic circuits and Boolean algebra. It is the negation of Material conditional, material implication. That is to say that for any two propositions P and Q ...
, and the logical expression A ∧ ¬B.
Usage
The NIMPLY gate is often used in
synthetic biology
Synthetic biology (SynBio) is a multidisciplinary field of science that focuses on living systems and organisms. It applies engineering principles to develop new biological parts, devices, and systems or to redesign existing systems found in nat ...
and
genetic circuits.
See also
*
IMPLY gate
The IMPLY gate is a digital logic gate that implements a logical conditional.
Symbols
IMPLY can be denoted in algebraic expressions with the List of logic symbols, logic symbol right-facing arrow (→). Logically, it is equivalent to Material_ ...
*
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 ...
References
Logic gates
{{compu-stub