Advertisements
Advertisements
Question
Using the truth table, prove the following logical equivalence.
p ↔ q ≡ ~(p ∧ ~q) ∧ ~(q ∧ ~p)
Advertisements
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
Write converse and inverse of the following statement:
“If a man is a bachelor then he is unhappy.”
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 ∧ q) ≡ ∼ p
Using the truth table prove the following logical equivalence.
p ↔ q ≡ ∼ [(p ∨ q) ∧ ∼ (p ∧ q)]
Using the truth table prove the following logical equivalence.
(p ∨ q) → r ≡ (p → r) ∧ (q → r)
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 ∧ r)
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
q ∨ [~ (p ∧ q)]
Prove that the following statement pattern is a tautology.
(~ p ∨ ~ q) ↔ ~ (p ∧ q)
Show that the following statement pattern is contingency.
p ∧ [(p → ~ q) → q]
Using the truth table, verify.
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
Write the dual of the following:
(p ∨ q) ∨ r
Write the dual statement of the following compound statement.
13 is prime number and India is a democratic country.
Write the negation of the following statement.
All the stars are shining if it is night.
Write the negation of the following statement.
∃ n ∈ N, (n2 + 2) is odd number.
With proper justification, state the negation of the following.
(p → q) ∧ r
Construct the truth table for the following statement pattern.
(p ∧ r) → (p ∨ ~q)
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[(p ∧ q) ∨ (~p)] ∨ [p ∧ (~ q)]
State the dual of the following statement by applying the principle of duality.
(p ∧ ~q) ∨ (~ p ∧ q) ≡ (p ∨ q) ∧ ~(p ∧ q)
Write the dual of the following.
(~p ∧ q) ∨ (p ∧ ~q) ∨ (~p ∧ ~q)
Express the truth of the following statement by the Venn diagram.
Some members of the present Indian cricket are not committed.
Write the converse and contrapositive of the following statements.
“If a function is differentiable then it is continuous”
Choose the correct alternative:
If p → q is an implication, then the implication ~q → ~p is called its
The contrapositive of p → ~ q is ______
If p → (∼p v q) is false, then the truth values of p and q are respectively
Show that the following statement pattern is a contingency:
(p→q)∧(p→r)
The converse of contrapositive of ∼p → q is ______.
If p, q are true statements and r, s are false statements, then find the truth value of ∼ [(p ∧ ∼ r) ∨ (∼ q ∨ s)].
