Advertisements
Advertisements
Question
State the dual of the following statement by applying the principle of duality.
p ∨ (q ∨ r) ≡ ~[(p ∧ q) ∨ (r ∨ s)]
Solution
p ∧ (q ∧ r) ≡ ~[(p ∨ q) ∧ (r ∧ s)]
APPEARS IN
RELATED QUESTIONS
Examine whether the following logical statement pattern is a tautology, contradiction, or contingency.
[(p→q) ∧ q]→p
Write the dual of the following statements:
Madhuri has curly hair and brown eyes.
Prove that the following statement pattern is a tautology : ( q → p ) v ( p → q )
Use the quantifiers to convert the following open sentence defined on N into true statement:
x2 ≥ 1
Write the negation of the following statement :
If the lines are parallel then their slopes are equal.
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) ∨ (∼ p ∧ q) ≡ ∼ p
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 ∧ 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 ∨ r)] ↔ ∼ [p → (q → r)]
Determine whether the following statement pattern is a tautology, contradiction or contingency:
(p → q) ∨ (q → p)
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
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 contradiction.
(p ∧ q) ∧ (~p ∨ ~q)
Show that the following statement pattern is contingency.
(p → q) ↔ (~ p ∨ q)
Using the truth table, verify.
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
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 negation of the following statement.
∃ n ∈ N, (n2 + 2) is odd number.
Using the rules of negation, write the negation of the following:
~(p ∨ q) → r
Using the rules of negation, write the negation of the following:
(~p ∧ q) ∧ (~q ∨ ~r)
Construct the truth table for the following statement pattern.
(p ∧ ~ q) ↔ (q → p)
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[p → (~q ∨ r)] ↔ ~[p → (q → r)]
Write the converse, inverse, contrapositive of the following statement.
If I do not work hard, then I do not prosper.
Write the dual of the following.
(~p ∧ q) ∨ (p ∧ ~q) ∨ (~p ∧ ~q)
Write the dual of the following.
~(p ∨ q) ≡ ~p ∧ ~q
The false statement in the following is ______.
Examine whether the statement pattern
[p → (~ q ˅ r)] ↔ ~[p → (q → r)] is a tautology, contradiction or contingency.
Complete the truth table.
| p | q | r | q → r | r → p | (q → r) ˅ (r → p) |
| T | T | T | T | `square` | T |
| T | T | F | F | `square` | `square` |
| T | F | T | T | `square` | T |
| T | F | F | T | `square` | `square` |
| F | T | T | `square` | F | T |
| F | T | F | `square` | T | `square` |
| F | F | T | `square` | F | T |
| F | F | F | `square` | T | `square` |
The given statement pattern is a `square`
Which of the following is not true for any two statements p and q?
Determine whether the following statement pattern is a tautology, contradiction, or contingency:
[(∼ p ∧ q) ∧ (q ∧ r)] ∧ (∼ q)
If p → q is true and p ∧ q is false, then the truth value of ∼p ∨ q is ______
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p ∧ q) → (q ∨ p)
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.
