Adder and Comparator Synthesis with Exclusive-OR Transform of Inputs