Input
A   B
Output
A ↛ B
0 0 0
0 1 0
1 0 1
1 1 0

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

Symbols

edit

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, and the logical expression A ∧ ¬B.

Usage

edit

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

See also

edit

References

edit
  1. ^ Fussenegger, Martin; Bojar, Daniel; Kim, Hyojin (9 April 2019). "A CRISPR/Cas9-based central processing unit to program complex logic computation in human cells". Proceedings of the National Academy of Sciences. 116 (15): 7214–7219. Bibcode:2019PNAS..116.7214K. doi:10.1073/pnas.1821740116. PMC 6462112. PMID 30923122.