Logic and Construction of Truth Tables

(1) Write the following compound propositions in mathematical form and construct the
truth tables for these respective propositions:
Problem: (a) If I go home and find the lunch ready, then I will not go to the restaurant.
Solution:
Let P = I go home, Q = I find lunch ready and R = I will go to the restaurant.
Then we have, (P ∧ Q) ⇒ ¬ R
Truth Table:
P Q R ¬R P∧Q (P ∧ Q) ⇒ ¬R
T T T F T F
T F T F F T
F T T F F T
F F T F F T
T T F T T T
T F F T F T
F T F T F T
F F F T F T

Problem: (b) Either you pay your rent or I will kick you out of apartment.
Solution:
Let P = Pay your rent and Q = I will kick you out of apartment.
Then we have P ∨ ¬ Q
Truth Table:
P Q ¬Q P ∨ ¬Q
T T F T
T F T T
F T F F
F F T T

Problem: (c) Jolly will leave home and will not come back.
Solution:
Let P = Jolly will leave home and Q = Jolly will come back.
Then we have, P ∧ ¬ Q
Truth Table:
P Q ¬Q P ∧ ¬Q
T T F F
T F T T
F T F F
F F T F

Problem: (d) If I go to Kampala, I will bring for you biscuit and bread.
Solution:
Let P = I go to Kampala, Q = I will bring you biscuits and R = I will bring you bread.
Then we have P ⇒ (Q ∧ R)
Truth Table:
P Q R Q∧R P ⇒ (Q ∧ R)
T T T T T
T F T F F
F T T T T
F F T F T
T T F F F
T F F F F
F T F F T
F F F F T

Problem: (e) If Lucille has not earned credit for MATH1 and MATH2, then she cannot
register for MATH3.
Solution:
Let P = Lucille has earned credit for MATH1, Q = Lucille has earned credit for MATH2 and R=
She can register for MATH3.
Then we have, ¬ (P ∧ Q) ⇒ ¬R
Truth Table:
P Q R ¬R P∧Q ¬ (P ∧ Q) ¬ (P ∧ Q) ⇒ ¬R
T T T F T F T
T F T F F T F
F T T F F T F
F F T F F T F
T T F T T F T
T F F T F T T
F T F T F T T
F F F T F T T

Problem: (f) If Lucille has completed Econometrics I or Econometrics II, then she can
register for Advanced Econometrics.
Solution:
Let P = Lucille has completed Econometrics I, Q = Lucille has completed Econometrics II and R
= Lucille can register for Advanced Econometrics.
Then we have, (P ∨ Q) ⇒ R
Truth Table:
P Q R P∨Q (P ∨ Q) ⇒ R
T T T T T
T F T T T
F T T T T
F F T F T
T T F T F
T F F T F
F T F T F
F F F F T

Problem: (g) The lights are on if and only if either John or Mary is at home.
Solution:
Let P = The lights are on, Q = John is at home and R = Mary is at home.
Then we have, P ⇔ (Q ∨ R)
Truth Table:
P Q R Q∨R P ⇔ (Q ∨ R)
T T T T T
T F T T T
F T T T F
F F T T F
T T F T T
T F F F F
F T F T F
F F F F T