.smaller-font[
```python
c = QuantumCircuit(5)
c.cx(0,3);c.cx(1,3);c.ccx(0,1,3)
c.cx(2,4);c.cx(3,4);c.ccx(2,3,4)
c.cx(0,3);c.cx(1,3);c.ccx(0,1,3)
```
]
|
.smaller-font[
```python
with_computed (OR a b) $
\t -> OR t c
```
]
|
.smaller-font[
```python
using(t=Qubit()){
OR(a,b,t);
OR(t,c,d);
Adjoint OR(a,b,t);
}
```
]
|