InputA B |
OutputA ↛ 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

The logic symbol ↛ can be used to denote NIMPLY in algebraic expressions.

Logically it is equivalent to Material nonimplication, and the logical expression

A ↛ B = A ∧ ¬B

## Usage

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

## See also

Wikimedia Commons has media related to .IMPLY_gates |

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