XOR variable exchange References. A Method for Synthetizing Sequential Circuits (Mealy, 1955) Graphical Linear Algebra (Sobocinski, blog posts)