pub fn cnot() -> Vec<usize>
CNOT (2-bit): (a,b) ↦ (a, a⊕b), state encoded a | b<<1. The universal reversible XOR generator — RevXor lifted to a gate.
(a,b) ↦ (a, a⊕b)
a | b<<1
RevXor