CNOT:最重要的双比特门

⎡1 0 0 0⎤

⎢0 1 0 0⎥

⎢0 0 0 1⎥

⎣0 0 1 0⎦

每列恰为某个计算基矢(整列只有一个 1)⇒ 各列正交归一 ⇒ CNOT 幺正

类型definition-derivation