Professional Documents
Culture Documents
Construct the truth table of the following propositions of the following propositions. Show orderly
presentation of the truth-values. No erasures.
1. (p → q) ∧ (∼q → r)
p q r (p -> q) ~q (~q -> r) (p → q) ∧ (∼q → r)
T T T T F T T
T T F T F T T
T F T F T T F
T F F F T F F
F T T T F T T
F T F T F T T
F F T T T T T
F F F T T F F
If the cake gets hot then the icing melts and if the icing melts, the cake cannot be used at the
wedding reception.
T T T T T T
T T F F F F
T F T T T T
T F F F T F
F T T T T T
F T F T F F
F F T T T T
F F F T T T
Either Blaise Pascal invented several calculating machines and it is not the case that the
first-all electronic digital computer was constructed in the 20 th century or π was calculated to
1,000,000 decimal digits in 1954.
q: The first-all electronic digital computer was constructed in the 20th century
∼q: It is not the case that the first-all electronic digital computer that was constructed
in the 20th century
Symbol: (p ^ ~q) ∨ r
p q r ~q P ^ ~q (p ^ ~q) ∨ r
T T T F F T
T T F F F F
T F T T T T
T F F T T T
F T T F F T
F T F F F F
F F T T F T
F F F T F F