NIMPLY gate

Summary

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.