Assignment 21 10
Assignment 21 10
Cairo University
Homework Assignment #1
Propositional Logic
For each of the following compound propositions give its truth table
(a) (p → q) → r
(b) (p ∧ ¬q) ∨ (p ↔ r)
1
s)
T T T T
T T T F
T T F T
T T F F
T F T T
T F T F
T F F T
T F F F
F T T T
F T T F
F T F T
F T F F
F F T T
F F T F
F F F T
F F F F
1. Translate the following sentences into propositional logic, making the meaning of
2
your propositional variables clear. See page 11 of the textbook for some examples
of translating English sentences into propositional logic.
(a) Neither the storm blast nor the flood did any damage to the house.
Solution: Let p and q represent “the storm blast damaged the house”
and “the flood damaged the house” respectively. Then the above can be
written as ¬(p ∨ q) or (¬p) ∧ (¬q).
(b) If global warming isn’t controlled, more forests will die in the Pacific
Northwest.
Solution:Let p and q represent “global warming isn’t controlled” and
“more forests will die in the Pacific Northwest” respectively.
Then the above can be written as p → q or (¬p) ∨ q
(c) Drivers should neither drive over 65 miles per hour nor cross the red light, or
they will get a ticket.
Solution: Let p, q and r represent “Drivers drive over 65 miles per
hour”, “Drivers cross the red light” and “Drivers will get a ticket”
respectively. Then the above can be written as ¬(p ∨ q) ∨ r or (p ∨
q) → r.