Förenkla $$$\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)$$$

Använd den kommutativa lagen:

$$\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)$$

Tillämpa absorptionslagen $$$x \cdot \left(x + y\right) = x$$$ på $$$x = Z$$$ och $$$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)$$

Tillämpa De Morgans lag $$$\overline{x \cdot y} = \overline{x} + \overline{y}$$$ på $$$x = Y$$$ och $$$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)$$

Använd den kommutativa lagen:

$${\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)}$$

Använd den kommutativa lagen:

$$\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}$$

Tillämpa absorptionslagen $$$x + \left(x \cdot y\right) = x$$$ på $$$x = \overline{Y}$$$ och $$$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}$$

Använd den kommutativa lagen:

$${\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)}$$

Använd den kommutativa lagen:

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

Tillämpa redundanslagen $$$x + \left(\overline{x} \cdot y\right) = x + y$$$ med $$$x = \overline{Y}$$$ och $$$y = X$$$:

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