Inverts a given target qubit if and only if both control qubits are in the 1 state, with T-depth 1, using measurement to perform the adjoint operation.
operation ApplyLowDepthAnd (control1 : Qubit, control2 : Qubit, target : Qubit) : Unit is Adj + Ctl
target if and only if both controls are 1, but assumes that
target is in state 0. The operation has T-count 4, T-depth 1 and
requires one helper qubit, and may therefore be preferable to a CCNOT
target is known to be 0. The adjoint of this operation
is measurement based and requires no T gates, and no helper qubit.
control1 : Qubit
First control qubit
control2 : Qubit
Second control qubit
target : Qubit
Target auxiliary qubit; must be in state 0