“…The outputs of the second Toffoli gate are X = P, Y = Q, and Z = PQ ⊕ R, and the input of the second Toffoli gate is the output of the first Toffoli gate, that is, P = A, Q = B, and R = AB ⊕C. By substituting P, Q, R with A, B, C, we obtain X = A, Y = B, and Z = AB ⊕ AB ⊕C = C. A gate is said to be conservative if it preserves the number of logical ones in the input [26]. The Toffoli gate is not a conservative gate because the mapping changes from (111) to (110) as shown in Table 2.7(a).…”