Task: Build and verify the expression (X + X.Y)' = X'