 In the gate of XOR one input may destroy the opposite input root tracking back.Note that the expression of P AND Q, P$(P$Q) OR Q$(Q$P) is symmetric,
hence does not depend on the simultaneity, and with no worry of tracking back, though it is complicated.The current record for domino computers is a 5 bit adder.