Problem:

What is the truth for the following logical expressions:

a. A+BC

b. A(B+D)

c. (A+B)(A+C)

d. W’(X+Y)Z

e. PT’(P+Z)

Solution:

a.

A B C BC A+BC
0 0 0 0 0
0 0 1 0 0
0 1 0 0 0
0 1 1 1 1
1 0 0 0 1
1 0 1 0 1
1 1 0 0 1
1 1 1 1 1

b.

A B D B+D A(B+D)
0 0 0 0 0
0 0 1 1 0
0 1 0 1 0
0 1 1 1 0
1 0 0 0 0
1 0 1 1 1
1 1 0 1 1
1 1 1 1 1
c.

A B C A+B A+C (A+B)(A+C)

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

d.

W X Y Z W’ X+Y W’(X+Y) W’(X+Y)Z

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

e.

P T Z T’ PT’ P+Z PT’(P+Z)

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