№ 877Квантовая теория информацииУровень 3

Два управляемых НЕ с общим управлением

Покажите, что два вентиля $\operatorname{CNOT}$ с общим управляющим кубитом коммутируют.

$\operatorname{CNOT}_{c\to t}$ действует на вычислительные биты как $|c,t\rangle\mapsto|c,t\oplus c\rangle$.