Scribd
Upload
805 views4 pages

TruthTablesForCompoundPropositionsWorksheet Answers

The document provides examples of truth tables to evaluate compound logical statements and propositions. Six exercises are presented with truth tables showing the logical evaluation of statements involving concepts like conjunction, disjunction, negation, implication, biconditional, and other logical operators across all possible combinations of true and false variable assignments. The tables also identify any tautologies or logically equivalent statements in each example.

Uploaded by

Yohan Ranuk Wijesinghe
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
805 views4 pages

TruthTablesForCompoundPropositionsWorksheet Answers

The document provides examples of truth tables to evaluate compound logical statements and propositions. Six exercises are presented with truth tables showing the logical evaluation of statements involving concepts like conjunction, disjunction, negation, implication, biconditional, and other logical operators across all possible combinations of true and false variable assignments. The tables also identify any tautologies or logically equivalent statements in each example.

Uploaded by

Yohan Ranuk Wijesinghe
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 4

MAT 17: Introduction to Mathematics

Truth Tables for Compound Logical Statements and Propositions – Answers

Directions: Complete a truth table for each exercise. Identify any tautologies and equivalent
basic statements (i.e., NOT, AND, OR, IF-THEN, IFF, etc.) where appropriate.

1. (𝑝 ∧ 𝑞) ∨ ~𝑝

𝑝 𝑞 𝑝∧𝑞 ~𝑝 (𝑝 ∧ 𝑞 ) ∨ ~𝑝
T T T F T
T F F F F
F T F T T
F F F T T

Equivalent to 𝑝 → 𝑞

2. ~𝑞 → (~𝑝 ∨ 𝑞)

𝑝 𝑞 ~𝑞 ~𝑝 ~𝑝 ∨ 𝑞 ~𝑞 → (~𝑝 ∨ 𝑞 )
T T F F T T
T F T F F F
F T F T T T
F F T T T T

Equivalent to 𝑝 → 𝑞

3. (~𝑝 → 𝑞) ∨ (~𝑝 ∧ ~𝑞)

𝑝 𝑞 ~𝑝 ~𝑝 → 𝑞 ~𝑞 ~𝑝 ∧ ~𝑞 (~𝑝 → 𝑞 ) ∨ (~𝑝 ∧ ~𝑞 )
T T F T F F T
T F F T T F T
F T T T F F T
F F T F T T T

Tautology

Prof. Fowler
4. [ 𝑝 ∧ (𝑞 ∨ ~𝑟) ] → (~𝑝 ∧ 𝑞)

𝑝 𝑞 𝑟 ~𝑟 𝑞 ∨ ~𝑟 𝑝 ∧ (𝑞 ∨ ~𝑟) ~𝑝 ~𝑝 ∧ 𝑞 [ 𝑝 ∧ (𝑞 ∨ ~𝑟) ] → (~𝑝 ∧ 𝑞 )


T T T F T T F F F
T T F T T T F F F
T F T F F F F F T
T F F T T T F F F
F T T F T F T T T
F T F T T F T T T
F F T F F F T F T
F F F T T F T F T

Prof. Fowler
5. [ (~𝑞 ∧ 𝑝) → 𝑟 ] ↔ [ (~𝑟 → ~𝑞) ∨ 𝑝 ]

𝑝 𝑞 𝑟 ~𝑞 ~𝑞 ∧ 𝑝 (~𝑞 ∧ 𝑝) → 𝑟 ~𝑟 ~𝑟 → ~𝑞 (~𝑟 → ~𝑞) ∨ 𝑝 [ (~𝑞 ∧ 𝑝) → 𝑟 ] ↔ [ (~𝑟 → ~𝑞) ∨ 𝑝 ]


T T T F F T F T T T
T T F F F T T F T T
T F T T T T F T T T
T F F T T F T T T F
F T T F F T F T T T
F T F F F T T F F F
F F T T F T F T T T
F F F T F T T T T T

Prof. Fowler
6. { 𝑟 ∧ [ (~𝑠 ∨ 𝑞) ↔ ~𝑝 ] } → [ ~(~𝑞 ↔ 𝑟) → (𝑠 ∧ ~𝑟) ]

{ 𝑟 ∧ [ (~𝑠 ∨ 𝑞) ↔ ~𝑝 ] } →
𝑝 𝑞 𝑟 𝑠 ~𝑠 ~𝑠 ∨ 𝑞 ~𝑝 (~𝑠 ∨ 𝑞) ↔ ~𝑝 𝑟 ∧ [ (~𝑠 ∨ 𝑞) ↔ ~𝑝 ] ~𝑞 ~𝑞 ↔ 𝑟 ~(~𝑞 ↔ 𝑟) ~𝑟 𝑠 ∧ ~𝑟 ~(~𝑞 ↔ 𝑟) → (𝑠 ∧ ~𝑟)
[ ~(~𝑞 ↔ 𝑟) → (𝑠 ∧ ~𝑟) ]

T T T T F T F F F F F T F F F T
T T T F T T F F F F F T F F F T
T T F T F T F F F F T F T T T T
T T F F T T F F F F T F T F T T
T F T T F F F T T T T F F F T T
T F T F T T F F T T T F F F T T
T F F T F F F T F T F T T T T T
T F F F T T F F F T F T T F F T
F T T T F T T T T F F T F F F F
F T T F T T T T T F F T F F F F
F T F T F T T T T F T F T T T T
F T F F T T T T F F T F T F T T
F F T T F F T F F T T F F F T T
F F T F T T T T T T T F F F T T
F F F T F F T F F T F T T T T T
F F F F T T T T F T F T T F F T

Prof. Fowler

You might also like