Logic Synthesis of EXOR Projected Sum of Products