Un ejemplo típico es la negación controlada, en la que el cúbit objetivo se cambia de formula_1 a formula_2 y viceversa sí y solo sí el valor del cúbit control es formula_2.