Vereenvoudig $$$\left(X \cdot Y\right) + \overline{Y \cdot Z} + \left(X \cdot \overline{Y} \cdot Z \cdot \left(\left(X \cdot Y\right) + Z\right)\right)$$$

Pas de commutatieve wet toe:

$$\left(X \cdot Y\right) + \overline{Y \cdot Z} + \left(X \cdot \overline{Y} \cdot Z \cdot {\color{red}\left(\left(X \cdot Y\right) + Z\right)}\right) = \left(X \cdot Y\right) + \overline{Y \cdot Z} + \left(X \cdot \overline{Y} \cdot Z \cdot {\color{red}\left(Z + \left(X \cdot Y\right)\right)}\right)$$

Pas de absorptiewet $$$x \cdot \left(x + y\right) = x$$$ toe met $$$x = Z$$$ en $$$y = X \cdot Y$$$:

$$\left(X \cdot Y\right) + \overline{Y \cdot Z} + \left(X \cdot \overline{Y} \cdot {\color{red}\left(Z \cdot \left(Z + \left(X \cdot Y\right)\right)\right)}\right) = \left(X \cdot Y\right) + \overline{Y \cdot Z} + \left(X \cdot \overline{Y} \cdot {\color{red}\left(Z\right)}\right)$$

Pas de stelling van De Morgan $$$\overline{x \cdot y} = \overline{x} + \overline{y}$$$ toe met $$$x = Y$$$ en $$$y = Z$$$:

$$\left(X \cdot Y\right) + {\color{red}\left(\overline{Y \cdot Z}\right)} + \left(X \cdot \overline{Y} \cdot Z\right) = \left(X \cdot Y\right) + {\color{red}\left(\overline{Y} + \overline{Z}\right)} + \left(X \cdot \overline{Y} \cdot Z\right)$$

Pas de commutatieve wet toe:

$${\color{red}\left(\left(X \cdot Y\right) + \overline{Y} + \overline{Z} + \left(X \cdot \overline{Y} \cdot Z\right)\right)} = {\color{red}\left(\left(X \cdot Y\right) + \overline{Y} + \left(X \cdot \overline{Y} \cdot Z\right) + \overline{Z}\right)}$$

Pas de commutatieve wet toe:

$$\left(X \cdot Y\right) + \overline{Y} + {\color{red}\left(X \cdot \overline{Y} \cdot Z\right)} + \overline{Z} = \left(X \cdot Y\right) + \overline{Y} + {\color{red}\left(\overline{Y} \cdot X \cdot Z\right)} + \overline{Z}$$

Pas de absorptiewet $$$x + \left(x \cdot y\right) = x$$$ toe met $$$x = \overline{Y}$$$ en $$$y = X \cdot Z$$$:

$$\left(X \cdot Y\right) + {\color{red}\left(\overline{Y} + \left(\overline{Y} \cdot X \cdot Z\right)\right)} + \overline{Z} = \left(X \cdot Y\right) + {\color{red}\left(\overline{Y}\right)} + \overline{Z}$$

Pas de commutatieve wet toe:

$${\color{red}\left(\left(X \cdot Y\right) + \overline{Y} + \overline{Z}\right)} = {\color{red}\left(\overline{Y} + \left(X \cdot Y\right) + \overline{Z}\right)}$$

Pas de commutatieve wet toe:

$$\overline{Y} + {\color{red}\left(X \cdot Y\right)} + \overline{Z} = \overline{Y} + {\color{red}\left(Y \cdot X\right)} + \overline{Z}$$

Pas de redundantiewet $$$x + \left(\overline{x} \cdot y\right) = x + y$$$ toe met $$$x = \overline{Y}$$$ en $$$y = X$$$:

$${\color{red}\left(\overline{Y} + \left(Y \cdot X\right)\right)} + \overline{Z} = {\color{red}\left(\overline{Y} + X\right)} + \overline{Z}$$