unfortunately, there are reversible functions that cannot be computed using just those gates. in other words, the set consisting of not and xor gates is not universal. if we want to compute an arbitrary function using reversible gates, we need another gate. one possibility is the toffoli gate, proposed in 1980 by toffoli.