used at each step. a) x(yz +yz) + xy +xy + xz b) xyz + (y + z)' +xyz c) z(xy z)(x+y)