Simplification Logic Expression Using Boolean Algebra

PART II
(Problems on Boolean Algebra)
1. a) A (A+B)
= A +AB
= A (1 + B)
=A
b) A ( + AB)
= 0 + AB
= AB
c) BC + ̅ C
= C (B + ̅ )
=C
d) A (A + B)
=A+0
=A
e) A ̅ C + BC + ̅C

= A ̅ C + BC + ̅C + ̅C

= ̅ C (A + ) + C (B + ̅ )
= ̅C + C
= C( + ̅ )
=C( )
2. a) (A + ) (A + C)
= A + A + AC + C
= A (1 + + C) + C
=A+ C
b) B + B + BCD + B E
= B (1 + + BD + E)
= B

1
c) AB + C+A
= AB + ( + ) C + A
= AB + C + BC + C + A (by adding the consensus term)
↑ ↑
Consensus term BC
= A (1 + B) + C + C ( + B)
=A+ C+C
= A + ( + 1) C
=A+C
Or
AB + C+A
= AB (1 + C) + C+A
= AB + ABC + C+A
= A (B + 1) + C (AB + )
=A+C
d) (A + ) (AB + AB )
= AB + AB + 0 + 0
= AB (1 + )
= AB
e) AB + ( + ) C + AB = AB + ) C = X + C ( where, X AB)
= X + C = AB + C
OR,
= AB + C + C + BC (BC is consensus term of AB + C)
= AB + C + C (B + )
= AB + C + C
= AB + C ( + 1)
= AB + C

2
3. a) BD + B (D + E) + (D + F)
= BD + BD + BE + 0 + F
= BD + BE + F = B(D+E) + F

b) C+ ̅+ D
= C+( ) C+ D
= C+ C+ D
= C+ D= (C + D) = == )
or
= C + CD+ D+ CD
= C (D + ) + D (C + )
= C+ D=
c) (B + BC) (B + C) (B + D)
= (B + BC +0 +0) (B + D)
= B (1 + C) (B+D)
= B(B+D)
= B + BD
= B (1 + D)
=B
d) ABCD + AB + CD
= ABCD + AB + CD + ABCD
= AB (CD + ) + CD ( + AB)
= AB + CD
e) ABC [AB + (BC + AC)]
= ABC (AB + 0)
= ABC
4. a) AB + A (B + C) + (B + D)
= AB + AB + AC + 0 + D
= AB + AC + D = A(B+C) + D
b) (X + Y + Z) ( + + )X

3
= (X + Y + Z) (X + X )
=X +0+X Z+X + XY +0
= X (1 + Z) + X (1 + Y)
=X +X
=X( + )=X
c) ABEF + AB + EF
= ABEF + AB + EF + ABEF
= AB (EF + ) + EF ( + AB)
= AB + EF
d) B + B + BCD + B E
= B (1 + + CD + E)
= B
e) A + B + C A + B + C
=A+B+( ) C = X + C = X+C 100 (4) 010 (2) 001(1)
= (A + B)(1 + C) + ( )C 101 (5) 011 (3)
= A + B + (A + B) C + ( )C 110 (6) 110 (6)
= A + B + C [(A + B) + ( )] 111 (7) 111 (7)
=A+B+C
Or,
A+B+ C = A +B + X (where X = C)
= A + X +B = A +X + B = A+ C +B = A +B +C
f) D+( )+ E
= D+ + E
= D+ (1 + E)
= D+
= (D + )
= =

4
 g) ̅ ̅̅̅̅̅
̅

= ̅

=
=
h) (WX + W ) (X + W) + WX( + )
= WX + WX + WX + W + W
= WX + WX + W
= WX (1 + ) + W
= WX + W
= WX + W = W(X +
i) AB + + ̅ (AB + C)
= AB + +0+ ̅
= AB (1 + C) + + ̅
= AB + ABC + + ̅
= AB + + AC (B + ̅)
= AB + + AC
= AB + 1
=1
j) + B +A + AB
= ( + B+A + AB)
= [ ( + B) + A ( + B)]
= ( + A)
=
5. Prove that

(a) ̅̅̅̅ ̅ =0

L. H. S = ̅̅̅̅ ̅ = ̅ =0

= ̿̿̿̿) ( ̿) (̅̅̅̅)

5
 = (AB) (A) (̅̅̅̅)
= 0 = R. H. S
(b) AB + ̅̅̅̅ + A̅ C (AB + C) = 1
L. H. S = AB + ̅̅̅̅ + A̅ C (AB + C)
= AB + ̅̅̅̅ + 0 + A̅C
= AB (1 + C) + ̅̅̅̅ + A̅C
= AB + ABC + ̅̅̅̅ + A̅C
= AB + AC (B + ̅) + ̅̅̅̅
= AB + AC + ̅̅̅̅
= AB + 1 = 1 = R. H. S

(c) ̅̅̅̅̅̅̅̅̅̅̅̅
̅ ̅

L. H. S. = ̅̅̅̅̅̅̅̅̅̅̅̅
̅ ̅

= ̅̅̅̅
̅ ̅̅̅̅̅̅̅̅ ̅

= ̅ ̅ ̅ ̅ ̅

=̅ ̅̅ ̅̅ ̅ ̅

=̅ ̅ ̅̅ ̅ ̅

= ̅ ̅̅ ̅ ̅

= = ̅ = 0 = R. H. S
(d) AB + A (B + C) + B (B + C) = B + AC
L. H. S. = AB + AB + AC + B + BC
= AB + AC + B + BC
= B (A + 1) + BC + AC
= B + BC + AC
= B (1 + C) + AC
= B + AC = R. H. S
(e) A̅ (C + BD) + = C+
L. H. S. = A̅ (C + BD) + = A̅C + 0 + = A̅C +
A̅C + = ( ) R. H. S.

6
 L. H. S. = A̅ (C + BD) +
= A ̅C + 0 +
= A ̅C + (C + ̅ )
= A ̅C + C+ ̅

= ̅C (A + ) + C+ ̅

= ̅C + (C + ̅ )
= ̅C + = R. H. S.

(f) C+ ̅+ ̅D= (C + D)

L. H. S. = C+ ̅+ ̅D

= C+ C+ ̅D= C+ ̅D= ̅ D) = (C + D)
Or,
= C (1 + D) + ̅D

= C+ CD+ ̅D

= C+ D (C + ̅ )
= C+ D
= (C + D) = R. H. S.
(g) (A + ̅) (AB + AB ̅ ) = AB
L. H. S. = AB + AB ̅ + 0 + 0
= AB (1 + ̅ )
= AB = R. H. S.
(h) (A̅ + A ̅ ) (BC + B ̅ ) (ABC) = 0
L. H. S. = (A̅ + A ̅ ) (BC + B ̅ ) (ABC)
= (A̅ + A ̅ ) (ABC + 0)
= 0 + 0 = 0 = R.H.S
(i) A̅C + ̅BC + ABC = (A + B) C
L. H. S. = A̅C + ̅BC + ABC = C (A̅ + ̅B + AB) = C(A+B)
= A ̅ C + ABC + ̅ BC + ABC
= AC ( ̅ + B) + BC ( ̅ + A)
= AC + BC = (A + B) C = R. H. S.

7
(j) A [B + C ] = AB
L. H. S. = A [B + C ]
= A [B + C( . )] = A B + AC.( .( ) = AB
Or,
= A [B + C ( ̅ + ̅) (̅ + ̅ )]
= AB + AC ( ̅ + ̅) (̅ + ̅ )
= AB = R. H. S.

(k) ( ̅̅̅̅ ) (A̅ + ̅̅̅̅̅̅) = ̅BC

L. H. S. = ( ̅̅̅̅ ) (A̅ + ̅̅̅̅̅̅)

= ( ̅ . ̿̿̿̿) (A̅ + ̅ + ̅ + ̅ )
= ̅BC (A ̅ + ̅ + ̅ + ̅ )
= 0 + ̅BC + 0 + 0 = ̅BC = R. H. S.

(l) A + ̅C (A + ̅ ) = A

L. H. S. = A + ̅C (A + ̅ )
= A + ̅C (A + B + ̅ )
= A + A̅C + 0 + 0
= A (1 + ̅C)
= A = R. H. S.
(m) =
L. H. S. =
=( + + ̅)
= + +
= = R. H. S.

(n) =

L. H. S. =

=( ̅)

8
 = ̅ ̅ ̅ ̅

= ̅ ̅ ̅

= ̅ ̅ ̅ = ̅ ̅ ̅

= ̅ ̅ ̅ ̅

= ̅

= ̅ = ̅ =
= = R. H. S
Or,

= ̅ ̅ ̅

= ̅ ̅ ̅

=̅ ̅ ̅

= ̅

= ̅

= = = R. H. S.

Or, L.H.S. =

= . ̅̅̅̅
= (ABC + ̅̅̅̅̅̅̅̅ ). ̅̅̅̅
= (0 + ̅ . ̅ .( ̅ + ̅ ) = ̅ . ̅ + ̅ . ̅ ̅ = ̅ . ̅ ̅ ) = ̅ . ̅ = R.H.S.

9
6. Write down the truth for and . Find the relationship between them.
Prove the relation you have obtained using Boolean algebra. Write down its consequence.
Inputs Outputs
A B C
0 0 0 0 0
0 0 1 1 1
0 1 0 1 1
0 1 1 0 0
1 0 0 1 1
1 0 1 0 0
1 1 0 0 0
1 1 1 1 1
Therefore =
HW Prove = using Boolean algebra and write down its
concequance.

10