Table 2 Two-input binary logic gates
From: In-silico design of computational nucleic acids for molecular information processing
Line |  Input state | |||||
|---|---|---|---|---|---|---|
A | 1 | 0 | 1 | 0 | ||
B | 1 | 1 | 0 | 0 | ||
Operation |  Output state | Name | Symbolic | |||
A ∘1B | 0 | 0 | 0 | 0 | 0 | |
A ∘2B | 0 | 0 | 0 | 1 | NOR | A ◇ B |
A ∘3B | 0 | 0 | 1 | 0 | ||
A ∘4B | 0 | 0 | 1 | 1 | NOT B | ¬ B |
A ∘5B | 0 | 1 | 0 | 0 | ||
A ∘6B | 0 | 1 | 0 | 1 | NOT A | ¬ A |
A ∘7B | 0 | 1 | 1 | 0 | XOR | |
A ∘8B | 0 | 1 | 1 | 1 | NAND | A ∣ B |
A ∘9B | 1 | 0 | 0 | 0 | AND | A ∧ B |
A ∘10B | 1 | 0 | 0 | 1 | Equivalence | A ⇔ B |
A ∘11B | 1 | 0 | 1 | 0 | A | |
A ∘12B | 1 | 0 | 1 | 1 | ||
A ∘13B | 1 | 1 | 0 | 0 | B | |
A ∘14B | 1 | 1 | 0 | 1 | Implication | A ⇒ B |
A ∘15B | 1 | 1 | 1 | 0 | OR | A ∨ B |
A ∘16B | 1 | 1 | 1 | 1 | 1 | |