Transformation Into ITEs

• Bitwise logic expressions:

• c0 = (a0 XOR b0)

• c1 = (a1 XOR b1) XOR (a0 AND b0)

• ITE equivalents:

• c0 = (a0 ? (b0 ? 0 : 1) : b0)

• c1 = ((a1 ? (b1 ? 0 : 1)) : b1) ?

• (((a0 ? b0 : 0) ? 0 : 1) ?

• (a0 ? b0 : 1))