Question 13.3: Simplification of Logical Expression Using the rules of Tabl...

Simplification of Logical Expression

Using the rules of Table 13.11,

Table 13.11 Rules of Boolean algebra


    1. 0+X=X
    2. 1+X=1
    3. X+X=X
    4. X+\overline{X}=1
    5. 0 \cdot X=0
    6. 1 \cdot X=X
    7. X \cdot X=X
    8. X \cdot \overline{X}=0
    9. \overline{\overline{X}}=X
    10. X+Y=Y+X                Commutative law
    11. X \cdot Y=Y \cdot X             Commutative law
    12. X+(Y+Z)=(X+Y)+Z            Associative law
    13. X \cdot(Y \cdot Z)=(X \cdot Y) \cdot Z          Associative law
    14. X \cdot(Y+Z)=X \cdot Y+X \cdot Z          Distributive law
    15. X+X \cdot Z=X           Absorption law
    16. X \cdot(X+Y)=X
    17. (X+Y) \cdot(X+Z)=X+Y \cdot Z
    18. X+\overline{X} \cdot Y=X+Y
    19. X \cdot Y+Y \cdot Z+\overline{X} \cdot Z=X \cdot Y+\overline{X} \cdot Z

simplify the following function using the rules of Boolean algebra.

f(A, B, C, D)=\bar{A} \cdot \bar{B} \cdot D+\bar{A} \cdot B \cdot D+B \cdot C \cdot D+A \cdot C \cdot D

The blue check mark means that this solution has been answered and checked by an expert. This guarantees that the final answer is accurate.
Learn more on how we answer questions.

Find: Simplified expression for logical function of four variables.

Analysis:

\begin{aligned}f &=\bar{A} \cdot \bar{B} \cdot D+\bar{A} \cdot B \cdot D+B \cdot C \cdot D+A \cdot C \cdot D & \\&=\bar{A} \cdot D \cdot(\bar{B}+B)+B \cdot C \cdot D+A \cdot C \cdot D & & \text { Rule } 14 \\&=\bar{A} \cdot D+B \cdot C \cdot D+A \cdot C \cdot D & & \text { Rule } 4 \\&=(\bar{A}+A \cdot C) \cdot D+B \cdot C \cdot D & & \text { Rule } 14 \\&=(\bar{A}+C) \cdot D+B \cdot C \cdot D & & \text { Rule } 18 \\&=\bar{A} \cdot D+C \cdot D+B \cdot C \cdot D & & \text { Rule } 14 \\&=\bar{A} \cdot D+C \cdot D \cdot(1+B) & & \text { Rule } 14 \\&=\bar{A} \cdot D+C \cdot D=(\bar{A}+C) \cdot D & & \text { Rules } 2 \text { and } 6\end{aligned}

Related Answered Questions

Question: 13.15

Verified Answer:

Known Quantities: Truth table for logic function. ...
Question: 13.18

Verified Answer:

Known Quantities: Logical expression; don't care c...
Question: 13.17

Verified Answer:

Known Quantities: Logical expression, don't care c...
Question: 13.9

Verified Answer:

Known Quantities: Truth table for y(A, B, C...