Use Boolean algebra to arrive at the same result obtained by the K map method of Problem 4-18.

Problem 4-18

Example 4-3 demonstrated algebraic simplification. Step 3 resulted in the SOP equation 

Use a K map to prove that this equation can be simplified further than the answer shown in the example.

Data from Example 4-3

z = ABC + ACD + ABCD + ABC.