Figure 1
From: Experimental violation of the Leggett-Garg inequality under decoherence

Logic circuit to measure the value of K(t2,t3) with a CNOT gate.
0 a is the initial state of the ancilla. ψ is the state of the system (can only be in 0 or 1 during the evolution under the classical realistic description). E represents the environment with the influence U between t1 and t2 and U' between t2 and t3, respectively.