λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript Oai280-B@1 · Oai280-B.tex · section · 6d92ab75

A gate-level decoder for A=123

Accessible circuits, streaming resources, and effect traps › A gate-level decoder for A=123 · lines 739–747

Back to manuscript

For this triple define

R_{X} = - Z_{1} X_{2} Z_{3}, R_{Y} = - X_{1} Y_{2} X_{3}, R_{Z} = - Y_{1} Z_{2} Y_{3} .

Displayed formulas in this passage

unlabeled · line 742
$R_{X} = - Z_{1} X_{2} Z_{3}, R_{Y} = - X_{1} Y_{2} X_{3}, R_{Z} = - Y_{1} Z_{2} Y_{3} .$

Nearby in this section