NIMPLY gate

The NIMPLY gate is a digital logic gate that implements a material nonimplication.

Symbols

A right-facing arrow with a line through it (${\displaystyle \nrightarrow }$) can be used to denote NIMPLY in algebraic expressions. Logically, it is equivalent to material nonimplication, and the logical expression A ∧ ¬B.

Usage

The NIMPLY gate is often used in synthetic biology and genetic circuits.^[1]

See also

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

References

• v
• t
• e

Common logical connectives

• Tautology/True ${\displaystyle \top }$

• Alternative denial (NAND gate) ${\displaystyle \uparrow }$
• Converse implication ${\displaystyle \leftarrow }$
• Implication (IMPLY gate) ${\displaystyle \rightarrow }$
• Disjunction (OR gate) ${\displaystyle \lor }$

• Negation (NOT gate) ${\displaystyle \neg }$
• Exclusive or (XOR gate) ${\displaystyle \not \leftrightarrow }$
• Biconditional (XNOR gate) ${\displaystyle \leftrightarrow }$
• Statement (Digital buffer)

• Joint denial (NOR gate) ${\displaystyle \downarrow }$
• Nonimplication (NIMPLY gate) ${\displaystyle \nrightarrow }$
• Converse nonimplication ${\displaystyle \nleftarrow }$
• Conjunction (AND gate) ${\displaystyle \land }$

• Contradiction/False ${\displaystyle \bot }$

Philosophy portal

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

• v
• t
• e