Advertisements
Advertisements
Question
Using truth table prove that p ↔ q = (p ∧ q) ∨ (~p ∧ ~q).
Advertisements
Solution
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| p | q | p ↔ q | ~p | ~q | p ∧ q | ~p ∧ ~q | (p ∧ q) ∨(~p∧~q) |
| T | T | T | F | F | T | F | T |
| T | F | F | F | T | F | F | F |
| F | T | F | T | F | F | F | F |
| F | F | T | T | T | F | T | T |
The entries in columns 3 and 8 are identical.
p ↔ q = (p ∧ q) ∨ (~p ∧ ~q).
Notes
[1 mark each for column 3 and column 8]
APPEARS IN
RELATED QUESTIONS
Write down the following statements in symbolic form :
(A) A triangle is equilateral if and only if it is equiangular.
(B) Price increases and demand falls
Using truth table prove that ∼p ˄ q ≡ (p ˅ q) ˄ ∼p
Using the truth table, prove the following logical equivalence :
p ↔ q ≡ (p ∧ q) ∨ (~p ∧ ~q)
Write the following compound statement symbolically.
The angle is right angle if and only if it is of measure 90°.
Construct the truth table of the following statement pattern.
[(p → q) ∧ q] → p
Construct the truth table of the following statement pattern.
[p → (q → r)] ↔ [(p ∧ q) → r]
Determine the truth values of p and q in the following case:
(p ∨ q) is T and (p ∨ q) → q is F
Express the following statement in symbolic form.
Even though it is cloudy, it is still raining.
Write the negation of the following statement.
2 + 3 ≠ 5
Write the truth value of the negation of the following statement.
For every x ∈ N, x + 3 < 8.
Write the following statement in symbolic form.
If Kutub-Minar is in Delhi then Taj-Mahal is in Agra.
Find the truth value of the following statement.
If a joint venture is a temporary partnership, then discount on purchase is credited to the supplier.
If p and q are true and r and s are false, find the truth value of the following compound statement.
[(p ∨ s) → r] ∨ ~ [~ (p → q) ∨ s]
Assuming that the following statement is true,
p : Sunday is holiday,
q : Ram does not study on holiday,
find the truth values of the following statements.
Sunday is a holiday and Ram studies on holiday.
Assuming the first statement p and second as q. Write the following statement in symbolic form.
The necessary condition for existence of a tangent to the curve of the function is continuity.
Assuming the first statement p and second as q. Write the following statement in symbolic form.
x3 + y3 = (x + y)3 if xy = 0.
Assuming the first statement p and second as q. Write the following statement in symbolic form.
The drug is effective though it has side effects.
If p : Proof is lengthy.
q : It is interesting.
Express the following statement in symbolic form.
It is interesting iff the proof is lengthy.
Let p : Sachin wins the match.
q : Sachin is a member of Rajya Sabha.
r : Sachin is happy.
Write the verbal statement of the following.
(p ∧ q) ∧ ∼ r
Assuming the following statement.
p : Stock prices are high.
q : Stocks are rising.
to be true, find the truth value of the following.
Stock prices are high or stocks are not rising iff stocks are rising.
Write the following statement in symbolic form:
Milk is white if and only if the sky is not blue.
Using truth table prove that p ˅ (q ˄ r) ≡ (p ˅ q) ˄ (p ˅ r)
Choose the correct alternative:
Negation of p → (p ˅ ~q) is
If (p ∧ ~ r) → (~ p ∨ q) is a false statement, then respective truth values of p, q and r are ______.
Given 'p' and 'q' as true and 'r' as false, the truth values of p v (q ∧ ~r) and (p → r) ∧ q are respectively
If c denotes the contradiction then the dual of the compound statement ∼p ∧ (q ∨ c) is ______
If p and q are true and rands are false statements, then which of the following is true?
Let p : 7 is not greater than 4 and q : Paris is in France by two statements. Then ∼(p ∨ q) is the statement ______
Let S be a non-empty subset of R. Consider the following statement:
p: There is a rational number x ∈ S such that x > 0. Which of the following statements is the negation of the statement p?
The logical statement (∼p → q) ∧ (q → p) is equivalent to: ______
Write the converse, inverse, and contrapositive of the statement. "If 2 + 5 = 10, then 4 + 10 = 20."
Which of the following is logically equivalent to `∼(∼p \implies q)`?
Write the following statement in symbolic form.
It is not true that `sqrt(2)` is a rational number.
Using the statements
p: Seema is fat,
q: Seema is happy,
Write the following statements in symbolic form;
- Seema is thin and happy.
- If Seema is fat then she is unhappy.
Using truth table prove that:
~ (p `leftrightarrow` q) ≡ (p ∧ ~ q) ∨ (q ∧ ~ p)
