NIMPLY gate

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

A right-facing arrow with a line through it ( $\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]

References

^ 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.

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

Zdroj:https://en.wikipedia.org?pojem=NIMPLY_gate
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.

[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.

[1]

v t e Common logical connectives
Tautology/True $\top$
Alternative denial (NAND gate) $\uparrow$ Converse implication $\leftarrow$ Implication (IMPLY gate) $\rightarrow$ Disjunction (OR gate) $\lor$
Negation (NOT gate) $\neg$ Exclusive or (XOR gate) $\not \leftrightarrow$ Biconditional (XNOR gate) $\leftrightarrow$ Statement (Digital buffer)
Joint denial (NOR gate) $\downarrow$ Nonimplication (NIMPLY gate) $\nrightarrow$ Converse nonimplication $\nleftarrow$ Conjunction (AND gate) $\land$
Contradiction/False $\bot$
Philosophy portal

Symbols

Usage

See also

References