 | This article needs additional citations for
verification. (August 2019) |
| 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 () 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
- ^ 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.
Common
logical connectives | ||
|---|---|---|
 | ||
 | This computing article is a stub. You can help Wikipedia by expanding it. |
| This article needs additional citations for
verification. (August 2019) |
| 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 () 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
- ^ 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.
Common
logical connectives | ||
|---|---|---|
| ||
|
| This computing article is a stub. You can help Wikipedia by expanding it. |