Consider functions F = ab + bc and G = ac.

Calculate XOR (F,G) using the ite operator i.e.

1) Express XOR (F,G) using the ite operator

2) Expand out the ite operators using the top-variable expansion process for variable a

ite(f, g, h) = ite(v, ite(fv, gv, hv), ite(fv, gv, hv))

3) Now expand the expression obtained in 2) using variable b

4) Identify and apply the terminal cases of the ite recursion in the expression obtained above. You

should be left with an expression where ite appears three times