Consider the NAND gate: $\displaystyle (a,b) \to \neg(a \wedge b) $. This is irreversible at first glance. But why does using Toffoli gates allow one to convert this into a reversible process? For example if we use the following gate: $\displaystyle (a,b,c \oplus a \wedge b) $.