Simplifying a boolean expression
Here is an ugly solution, found with the Karnaugh table and the equation : A = A.B + A./B

XY + /XZ + YZ

= X.Y.Z + X.Y./Z + /X.Y.Z + /X./Y.Z + X.Y.Z + /X.Y.Z

(removing two redundant terms)

= X.Y.Z + X.Y./Z + /X./Y.Z + /X.Y.Z

= XY + /X.Z