DAR ES SALAAM INSTITUTE OF TECHNOLOGY

ASSIGNMENT 1F ALGEBRA (GST 04101) OD20 IT

1. Use the laws of Boolean Algebra to simplify the following expression

(A)R'(P'Q'+PQ+PQ') + P (QR+Q'R)

Soln
R'P'Q' + R'PQ + R'PQ' + PQR + PQ'R-----------distributive law
R'P'Q' + R'PQ' +R'PQ + PQR + PQ'R------------commutative law
R'Q' (P'+P) + PQ(R'+R) + PQ'R-------------------distributive law
R'Q' (1) + PQ (1) + PQ'R---------------------------idempotent law
RQ' + PQ + PQ'R------------------------------------identity law.

(B)FG'H + FGH + FGH' + F'GH

Soln
FH (G'+G) + FGH' + F'GH------------distributive law
FG (1) + FGH' + F'GH-----------------identity law
FG + FGH' + F'GH----------------------identity law
FG (1+H') + F'GH-----------------------distributive law
FG (1) + F'GH---------------------------identity law
FG + F'GH-------------------------------identity law.

2. Use the laws of Boolean Algebra to prove

(A)(A+BC) = (A+B) (A+C)

Soln
A (A+C) + B (A+C) --------------------distributive law
AA + AC +BA + BC--------------------distributive law
A + AC + BA + BC---------------------idempotent law
A (1+C) + BA + BC--------------------idempotent law
A (1) + BA + BC-----------------------idempotent law
A + BA + BC---------------------------identity law
A (1+B) +BC---------------------------distributive law
A (1) + BC------------------------------identity law
A + BC----------------------------------identity law.

(B)AB + AC' + BC = AB + A'C

Soln
AB + A'C + BC (A+A') -----------------------identity law
AB + A'C + ABC + A'BC----------------------distributive law
AB (1+C) + A'C (1+B) -----------------------distributive law
AB (1) + A'C + (1) ----------------------------identity law
AB + A'C----------------------------------------identity law, Hence proved.
 DAR ES SALAAM INSTITUTE OF TECHNOLOGY
ASSIGNMENT 1F ALGEBRA (GST 04101) OD20 IT

3. Use De Morgan’s law and rules of Boolean algebra to simplify the following Boolean expression.
(A'B)' + (A'+B)'

Soln
A''B' + A'' + B'--------------de Morgan’s law
AB' + A + B'--------------complement law
A + B' + AB'--------------commutative law
A + (B'+AB') --------------associative law
A + B' (1+A) --------------distributive law
A + B' (1) -------------------identity law
A + B'------------------------identity law.

4. Draw the logic diagram and construct the truth table to the following Boolean expression.
A'B'C' + A + B + A'BC + AB'C'

Soln
 DAR ES SALAAM INSTITUTE OF TECHNOLOGY
ASSIGNMENT 1F ALGEBRA (GST 04101) OD20 IT

X+Y A B C A' B' C' AB' BC A'B AB'C' A'BC A'B'C' A+B

1 0 0 0 1 1 1 0 0 0 0 0 1 0

0 0 0 1 1 1 0 0 0 0 0 0 0 0

1 0 1 0 1 0 1 0 0 1 0 0 0 1

1 0 1 1 1 0 0 0 1 1 0 1 0 1

1 1 0 0 0 1 1 1 0 0 1 0 0 1

1 1 0 1 0 1 0 1 0 0 0 0 0 1

0 1 1 0 0 0 1 0 0 0 0 0 0 0

0 1 1 1 0 0 1 0 1 0 0 0 0 0
Where by A'B'C' + A+B + A'BC + AB'C' = X+ Y.

5. Design circuits that will give the truth tables shown below.

A B K
0 0 1
0 1 1
1 0 0
1 1 1

Soln
The Boolean law from the truth table is: A' + B = K. (POS)
 DAR ES SALAAM INSTITUTE OF TECHNOLOGY
ASSIGNMENT 1F ALGEBRA (GST 04101) OD20 IT

A B C G

0 0 0 0

0 0 1 0

0 1 0 0

0 1 1 0

1 0 0 1

1 0 1 0

1 1 0 1

1 1 1 0

Soln
The Boolean law from the truth table is: AB'C' + ABC' = G
By simplifying
AC'(B'+B) -----------------distributive law
AC'(1) ---------------------identity law
AC'-------------------------identity law
AC' = G.
 DAR ES SALAAM INSTITUTE OF TECHNOLOGY
ASSIGNMENT 1F ALGEBRA (GST 04101) OD20 IT

A B C D U
0 0 0 0 1
0 0 0 1 1
Soln
0 Boolean law
The 0 from the 1 truth table 0 is: A 1 ' + B' + C' + D' = U.(SOP)
0
(A'+B+C+D 0 1 1 1 ') (A'+B+C'+D)
(A'+B' 0 1 0 0 1 +C+D')----------------------------------------
-------- 0 1 0 1 1 --------------Given
(A'+B+C+D
0 1 1 0 1 ') [(A'+B+C'+D)
(A'+B' +C+D')]---------------------------------------
0 1 1 1 1
-------- --------Associative law
(A'+B+ 1 0 0 0 1 C+D')
[A'A'+ 1 0 0 1 0 A'B'+A'C+A'D'+A'B+BB'+BC+BD'+A'C'
+B'C'+ 1 0 1 0 0 C'C+C'D'+A'D+B'D+CD+DD']-
1 0 1 1 1 Distributive law
(A'+B+C+D
1 1 0 0 1 ')
[A'A'+ A'B'+A'C+A'D'+A'B+0+BC+BD'+A'C'+B'
1 1 0 1 0
C'+0+ C'D'+A'D+B'D+CD+0]----Identity law
1
(A'+B+C+D 1 1 0 1 ')
[A'A'+ 1 1 1 1 1 A'B'+A'C+A'D'+A'B+BC+BD'+A'C'+B'C'
+C'D'+A'D+B'D+CD]------------Identity law
(A'+B+C+D') [A'+A'B'+A'C+A'D'+A'B+BC+BD'+A'C'+B'C'+C'D'+A'D+B'D+CD]-----------Idempotent law
(A'+B+C+D') [A' (1+B') + A'(C+C') + A' (D'+D) + A'B'+BC+B'C'+C'D'+CD+BD'+B'D]-----Distributive law
(A'+B+C+D') [A' (1) + A' (1) + A' (1) +A'B+BC+B'C'+C'D'+CD+BD'+B'D]-------------------Identity law
(A'+B+C+D') [A'+A'+A'+A'B+BC+B'C'+C'D'+CD+BD'+B'D]-----------------------------------Identity law
(A'+B+C+D') [A'+A'B+BC+B'C'+C'D'+CD+BD'+B'D]-------------------------------------------Idempotent law
(A'+B+C+D') [A'+A'B+1+1+BD'+BD]-------------------------------------------------------------Identity law
(A'+B+C+D') [A'+A'B+1]----------------------------------------------------------------------------Identity law
(A'+B+C+D') [1]--------------------------------------------------------------------------------------Identity law
A' + B + C + D' = U.