MC120200988

Question 1;
Mark: 10
Formulate the argument symbolically and test its validity using the truth table. Also mention
the critical row (or rows).
If you finish your home work, then you will sleep early.
If you will sleep early, then you will get up for 8:30am class.
Therefore if you finish your home work, then you will get up for 8:30am class.
Where p = you finish your home work,
q = you will sleep early,
r = you will get up for 8:30am class.
Solution 1:
The Symbolic Argument is
pq
qr
pr
The truth table is
Premises
p
T
T
T
T
F
F
F
F

q
T
T
F
F
T
T
F
F

r
T
F
T
F
T
F
T
F

pq
T
T
F
F
T
T
T
T

qr
T
F
T
T
T
F
T
T

Conclusion
pr
T
F
T
F
T
T
T
T

Critical Rows

Argument is valid. As you can see there are four critical rows (where premises have the truth
value T) and conclusion of all these critical rows have the truth value T.

Question 2;
Construct circuit for Boolean expression (Mention output at each step)
(P~ Q) (P Q)

Marks: 5

Solution 2:
P
AND
Q

N
ot

(P~ Q)

~Q
OR

(P Q)
AND

(P~ Q) (P Q)