quantum algorithms:
constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
The contolled NOT or reversible XOR-gate is the logic gate acting between pairs of bits which identically keeps the first bit in the pair and negates the second IFF the first was set.
This may be understood equivalently as
the controlled quantum gate-version of the quantum NOT-gate
the reversible version of the XOR-gate.
In quantum computing/quantum information theory, by the controlled NOT gate or CNOT gate one means the quantum logic gate which acts on a pair of qbits by the linear map which is given in this way on the canonical linear basis-elements of a pair of qbits:
Similarly, by the CCNOT-gate (or Toffoli gate) one means the operation on triples of bits/qbit which keeps the first two and reverses the third iff the first two are both set.
Textbook accounts:
See also:
Wikipedia, Controlled NOT gate
Wikipedia, Toffoli gate
Last revised on October 27, 2022 at 16:06:13. See the history of this page for a list of all contributions to it.