InputA   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 (${\displaystyle \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]