Advertisements
Advertisements
Question
Using the truth table, prove the following logical equivalence.
p ↔ q ≡ ~(p ∧ ~q) ∧ ~(q ∧ ~p)
Solution
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| p | q | ~p | ~q | p↔q | p∧~q | ~(p∧~q) | (q∧~p) | ~(q∧~p) | ~(p∧~q)∧~(q ∧ ~p) |
| T | T | F | F | T | F | T | F | T | T |
| T | F | F | T | F | T | F | F | T | F |
| F | T | T | F | F | F | T | T | F | F |
| F | F | T | T | T | F | T | F | T | T |
In the above truth table, the entries in columns 5 and 10 are identical.
∴ p ↔ q ≡ ~(p ∧ ~q) ∧ ~(q ∧ ~p)
RELATED QUESTIONS
Using truth table examine whether the following statement pattern is tautology, contradiction or contingency `(p^^~q) harr (p->q)`
If p : It is raining
q : It is humid
Write the following statements in symbolic form:
(a) It is raining or humid.
(b) If it is raining then it is humid.
(c) It is raining but not humid.
Using truth table, examine whether the following statement pattern is tautology, contradiction or contingency: p ∨ [∼(p ∧ q)]
Show that the following statement pattern in contingency :
(~p v q) → [p ∧ (q v ~ q)]
Using the truth table prove the following logical equivalence.
p → (q → p) ≡ ∼ p → (p → q)
Using the truth table prove the following logical equivalence.
(p ∨ q) → r ≡ (p → r) ∧ (q → r)
Using the truth table prove the following logical equivalence.
p → (q ∧ r) ≡ (p → q) ∧ (p → r)
Using the truth table prove the following logical equivalence.
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Using the truth table proves the following logical equivalence.
∼ (p ↔ q) ≡ (p ∧ ∼ q) ∨ (q ∧ ∼ p)
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) ∧ ∼ 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 ________.
Inverse of statement pattern (p ∨ q) → (p ∧ q) is ________ .
Determine whether the following statement pattern is a tautology, contradiction or contingency:
[p → (q → r)] ↔ [(p ∧ q) → r]
Determine whether the following statement pattern is a tautology, contradiction or contingency:
(p ∧ q) ∨ (∼p ∧ q) ∨ (p ∨ ∼q) ∨ (∼p ∧ ∼q)
Determine whether the following statement pattern is a tautology, contradiction or contingency:
[(p ∨ ∼q) ∨ (∼p ∧ q)] ∧ r
Prepare truth tables for the following statement pattern.
p → (~ p ∨ q)
Prepare truth table for (p ˄ q) ˅ ~ r
(p ∧ q) ∨ ~ r
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
~ p → (p → ~ q)
Prove that the following statement pattern is a tautology.
(~ p ∨ ~ q) ↔ ~ (p ∧ q)
If p is any statement then (p ∨ ∼p) is a ______.
Show that the following statement pattern is contingency.
(p → q) ↔ (~ p ∨ q)
Using the truth table, verify
~(p ∨ q) ∨ (~ p ∧ q) ≡ ~ p
Prove that the following pair of statement pattern is equivalent.
p ↔ q and (p → q) ∧ (q → p)
Prove that the following pair of statement pattern is equivalent.
~(p ∧ q) and ~p ∨ ~q
Write the dual of the following:
(p ∨ q) ∨ r
Write the negation of the following statement.
∀ n ∈ N, n + 1 > 0
Using the rules of negation, write the negation of the following:
(p → r) ∧ q
Using the rules of negation, write the negation of the following:
~(p ∨ q) → r
With proper justification, state the negation of the following.
(p ↔ q) v (~ q → ~ r)
Construct the truth table for the following statement pattern.
(~p ∨ q) ∧ (~p ∧ ~q)
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[(p ∧ q) ∨ (~p)] ∨ [p ∧ (~ q)]
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[~(p ∧ q) → p] ↔ [(~p) ∧ (~q)]
Using the truth table, prove the following logical equivalence.
[~(p ∨ q) ∨ (p ∨ q)] ∧ r ≡ r
Using the truth table, prove the following logical equivalence.
p ∧ (~p ∨ q) ≡ p ∧ q
State the dual of the following statement by applying the principle of duality.
2 is even number or 9 is a perfect square.
Write the dual of the following.
(~p ∧ q) ∨ (p ∧ ~q) ∨ (~p ∧ ~q)
Write the dual of the following.
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (q ∨ r)
The false statement in the following is ______.
Write the converse and contrapositive of the following statements.
“If a function is differentiable then it is continuous”
Write the dual of the following
(p ˄ ∼q) ˅ (∼p ˄ q) ≡ (p ˅ q) ˄ ∼(p ˄ q)
Choose the correct alternative:
If p is any statement, then (p ˅ ~p) is a
Choose the correct alternative:
If p → q is an implication, then the implication ~q → ~p is called its
Write the dual of the following.
13 is prime number and India is a democratic country
The statement pattern (p ∧ q) ∧ [~ r v (p ∧ q)] v (~ p ∧ q) is equivalent to ______.
The equivalent form of the statement ~(p → ~ q) is ______.
The statement pattern (∼ p ∧ q) is logically equivalent to ______.
If p → q is true and p ∧ q is false, then the truth value of ∼p ∨ q is ______
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)`
Prepare truth table for the statement pattern `(p -> q) ∨ (q -> p)` and show that it is a tautology.
