Advertisements
Advertisements
Question
Prove that p → (¬q v r) ≡ ¬p v (¬q v r) using truth table
Solution
p | q | r | ¬p | ¬q | ¬q v r | p → (¬q v r) | ¬p v (¬q v r) |
T | T | T | F | F | T | T | T |
T | T | F | F | F | F | F | F |
T | F | T | F | T | T | T | T |
T | F | F | F | T | T | T | T |
F | T | T | T | F | T | T | T |
F | T | F | T | F | F | T | T |
F | F | T | T | T | T | T | T |
F | F | F | T | T | T | T | T |
From the table, it is clear that the column of p → (¬q v r) and ¬p v (¬q v r) are identical.
∴ p → (¬q v r) ≡ ¬p v (¬q v r)
Hence proved.
APPEARS IN
RELATED QUESTIONS
Let p : Jupiter is a planet and q : India is an island be any two simple statements. Give verbal sentence describing the following statement.
P ∧ ¬q
Let p : Jupiter is a planet and q : India is an island be any two simple statements. Give verbal sentence describing the following statement.
¬p v q
Determine the truth value of the following statement.
If 6 + 2 = 5, then the milk is white.
Which one of the following sentences is a proposition?
What are you doing?
Which one of the following sentences is a proposition?
How tall this mountain is!
Write the converse, inverse, and contrapositive of the following implication.
If x and y are numbers such that x = y, then x2 = y2
Write the converse, inverse, and contrapositive of the following implication.
If a quadrilateral is a square then it is a rectangle
Construct the truth table for the following statement.
¬P ∧ ¬q
Construct the truth table for the following statement.
(p v q) v ¬q
Construct the truth table for the following statement
(¬p → r) ∧ (p ↔ q)
Verify whether the following compound propositions are tautologies or contradictions or contingency.
(p → q) ↔ (¬p → q)
Show that (p ∧ q) ≡ ¬p v ¬q
Prove that q → p ≡ ¬p → ¬q
Show that p → q and q → p are not equivalent
Prove p → (q → r) ≡ (p ∧ q) → r without using the truth table
Choose the correct alternative:
If a compound statement involves 3 simple statements, then the number of rows in the truth table is
Choose the correct alternative:
Which one of the following is incorrect? For any two propositions p and q, we have
Choose the correct alternative:
The dual of ¬(p v q) v [p v(p ∧ ¬r)] is
Choose the correct alternative:
Which one of the following is not true?