Intermediate Variable Encodings that Enable Multiplexor-Based Implementations of Two Operand Addition