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

The calculator will simplify the boolean expression $$$\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)$$$, with steps shown.

Related calculator: Truth Table Calculator

If the calculator did not compute something or you have identified an error, or you have a suggestion/feedback, please contact us.

Your Input

Simplify the boolean expression $$$\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).$$$

Solution

Apply the commutative law:

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

Apply the absorption law $$$x \cdot \left(x + y\right) = x$$$ with $$$x = Z$$$ and $$$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)$$

Apply de Morgan's theorem $$$\overline{x \cdot y} = \overline{x} + \overline{y}$$$ with $$$x = Y$$$ and $$$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)$$

Apply the commutative law:

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

Apply the commutative law:

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

Apply the absorption law $$$x + \left(x \cdot y\right) = x$$$ with $$$x = \overline{Y}$$$ and $$$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}$$

Apply the commutative law:

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

Apply the commutative law:

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

Apply the redundancy law $$$x + \left(\overline{x} \cdot y\right) = x + y$$$ with $$$x = \overline{Y}$$$ and $$$y = X$$$:

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

Answer

$$$\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) = \overline{Y} + X + \overline{Z}$$$


Please try a new game Rotatly