两个量子比特可以处于一种无法拆成“每个比特各一个状态”的状态：*Bell 态* (|00⟩ + |11⟩)/√2。 测量它会得到 00 或 11，各占一半的次数，而永远不会得到 01 或 10。单看每个量子比特都像一枚公平的硬币，但两者总是一致。任何一对彼此独立的单比特状态都做不到这一点；这两个量子比特是*纠缠*的。 这里产生纠缠的门是受控非门 `cx control, target`。它恰好在控制比特为 |1⟩ 时翻转目标比特。当控制比特处于叠加时，它同时作用于两个部分。 由 `h`、`cx` 和其他 Clifford 门组成的线路，引擎用*稳定子表*（stabilizer tableau）来运行，它能精确跟踪成千上万个量子比特，而不必写出 2ⁿ 个振幅。在你的答案上试试 `wai-quantum plan`，看看引擎选中了它。