Advertisements
Advertisements
Question
Examine whether the following statement (p ∧ q) ∨ (∼p ∨ ∼q) is a tautology or contradiction or neither of them.
Advertisements
Solution
(p ∧ q) ∨ (∼p ∨ ∼q)
| A | B | |||||
| p | q | ∼p | ∼q | p ∧ q | ∼p ∨ ∼q | A ∨ B |
| T | T | F | F | T | F | T |
| T | F | F | T | F | T | T |
| F | T | T | F | F | T | T |
| F | F | T | T | F | T | T |
From the last coloumn
(p ∧ q) ∨ (∼p ∨ ∼q) is a tautology
APPEARS IN
RELATED QUESTIONS
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p ∧ q) → (q ∨ p)
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p → q) ↔ (∼ p ∨ q)
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p ↔ q) ∧ (p → ∼ q)
(p ∧ q) → r is logically equivalent to ________.
Prepare truth tables for the following statement pattern.
(~ p ∨ q) ∧ (~ p ∨ ~ q)
Prepare truth tables for the following statement pattern.
(p ∧ r) → (p ∨ ~ q)
Using the truth table, verify
~(p ∨ q) ∨ (~ p ∧ q) ≡ ~ p
Write the dual of the following:
~(p ∧ q) ≡ ~ p ∨ ~ q
Construct the truth table for the following statement pattern.
(p ∧ ~ q) ↔ (q → p)
Construct the truth table for the following statement pattern.
(p ∨ ~q) → (r ∧ p)
Using the truth table, prove the following logical equivalence.
[~(p ∨ q) ∨ (p ∨ q)] ∧ r ≡ r
Write the converse, inverse, contrapositive of the following statement.
If 2 + 5 = 10, then 4 + 10 = 20.
Write the converse, inverse, contrapositive of the following statement.
If a man is bachelor, then he is happy.
Examine whether the statement pattern
[p → (~ q ˅ r)] ↔ ~[p → (q → r)] is a tautology, contradiction or contingency.
The statement pattern (p ∧ q) ∧ [~ r v (p ∧ q)] v (~ p ∧ q) is equivalent to ______.
Determine whether the following statement pattern is a tautology, contradiction, or contingency:
[(∼ p ∧ q) ∧ (q ∧ r)] ∧ (∼ q)
The converse of contrapositive of ∼p → q is ______.
In the triangle PQR, `bar(PQ) = 2bara and bar(QR)` = `2 bar(b)` . The mid-point of PR is M. Find following vectors in terms of `bar(a) and bar(b)` .
- `bar(PR)`
- `bar(PM)`
- `bar(QM)`
If p, q are true statements and r, s are false statements, then find the truth value of ∼ [(p ∧ ∼ r) ∨ (∼ q ∨ s)].
