Advertisements
Advertisements
प्रश्न
Using the truth table, prove the following logical equivalence.
~p ∧ q ≡ [(p ∨ q)] ∧ ~p
उत्तर
1 | 2 | 3 | 4 | 5 | 6 |
p | q | ~p | ~p∧q | (p∨q) | (p∨q)∧~p |
T | T | F | F | T | F |
T | F | F | F | T | F |
F | T | T | T | T | T |
F | F | T | F | F | F |
In the above truth table, the entries in columns 4 and 6 are identical.
∴ ~p ∧ q ≡ [(p ∨ q)] ∧ ~p
APPEARS IN
संबंधित प्रश्न
Examine whether the following logical statement pattern is a tautology, contradiction, or contingency.
[(p→q) ∧ q]→p
Write the converse and contrapositive of the statement -
“If two triangles are congruent, then their areas are equal.”
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)]
Express the following statement in symbolic form and write its truth value.
"If 4 is an odd number, then 6 is divisible by 3."
Write the negation of the Following Statement :
∀ y ∈ N, y2 + 3 ≤ 7
State if the following sentence is a statement. In case of a statement, write down the truth value :
√-4 is a rational number.
By constructing the truth table, determine whether the following statement pattern ls a tautology , contradiction or . contingency. (p → q) ∧ (p ∧ ~ q ).
Using the truth table prove the following logical equivalence.
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p → q) ↔ (∼ p ∨ q)
Prepare truth tables for the following statement pattern.
(p ∧ r) → (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 ∧ ~ q) → (~ p ∧ ~ q)
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) → q
Prove that the following statement pattern is a tautology.
(p → q) ↔ (~ q → ~ p)
Prove that the following statement pattern is a contradiction.
(p ∨ q) ∧ (~p ∧ ~q)
Prove that the following statement pattern is a contradiction.
(p ∧ q) ∧ ~p
Show that the following statement pattern is contingency.
(p∧~q) → (~p∧~q)
Prove that the following pair of statement pattern is equivalent.
p → q and ~ q → ~ p and ~ p ∨ q
Write the dual statement of the following compound statement.
13 is prime number and India is a democratic country.
Write the dual statement of the following compound statement.
Radha and Sushmita cannot read Urdu.
Write the negation of the following statement.
All the stars are shining if it is night.
Using the rules of negation, write the negation of the following:
(~p ∧ q) ∧ (~q ∨ ~r)
Write the converse, inverse, and contrapositive of the following statement.
If he studies, then he will go to college.
With proper justification, state the negation of the following.
(p ↔ q) v (~ q → ~ r)
With proper justification, state the negation of the following.
(p → q) ∧ r
Construct the truth table for the following statement pattern.
(p ∨ r) → ~(q ∧ r)
What is tautology? What is contradiction?
Show that the negation of a tautology is a contradiction and the negation of a contradiction is a tautology.
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
Write the dual of the following.
(~p ∧ q) ∨ (p ∧ ~q) ∨ (~p ∧ ~q)
Write the dual of the following.
~(p ∨ q) ≡ ~p ∧ ~q
Which of the following is not equivalent to p → q.
The equivalent form of the statement ~(p → ~ q) is ______.
Using truth table verify that:
(p ∧ q)∨ ∼ q ≡ p∨ ∼ q
The statement pattern (∼ p ∧ q) is logically equivalent to ______.