Without using truth table prove that : p ↔ q ≡ (p∧ q) ∨ (~ p ∧ ~q… - Vidyadip

Question

Without using truth table prove that : p ↔ q ≡ (p∧ q) ∨ (~ p ∧ ~q)

✓

Answer

LHS = p ↔ q
≡ (p ↔ q) ∧ (q ↔ p) … (Biconditional Law)
≡ (~p ∨ q) ∧ (~q ∨ p) … (Conditional Law)
≡ [~p ∧ (~q ∨ p)] ∨ [q ∧ (~q ∨ p)] … (Distributive Law)
≡ [(~p ∧ ~q) ∨ (~p ∧ p)] ∨ [(q ∧ ~q) ∨ (q ∧ p)] … (Distributive Law)
≡ [(~p ∧ ~q) ∨ F] ∨ [F ∨ (q ∧ p)] … (ComplementLaw)
≡ (~ p ∧ ~ q) ∨ (q ∧ p) … (Identity Law)
≡ (~ p ∧ ~ q) ∨ (p ∧ q) … (Commutative Law)
≡ (p ∧ q) ∨ (~p ∧ ~q) … (Commutative Law)
≡ RHS.

Need a full question paper?

Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.

Start Generating Free

Explore more

More "Solve the Following Question.(2 Marks)" from Mathematical Logic→Mathematical Logic — all question types→Maths STD 12 Science question papers→Maharashtra Board STD 12 Science question papers→Maharashtra Board question paper generator→

Similar questions

Find the sum of the following vectors: $\vec{\text{a}}=\hat{\text{i}}-2\hat{\text{j}},\vec{\text{b}}=2\hat{\text{i}}-3\hat{\text{j}},\vec{\text{c}}=2\hat{\text{i}}-3\hat{\text{k}}$.

Evaluate:
$\cos\Big(\sec^{-1}\text{x}+\text{cosec}^{-1}\text{x}\Big)$

Write the coordinate axis to which the line $\frac{\text{x}-2}{3}=\frac{\text{y}+1}{4}=\frac{\text{z}-1}{0}$ is perpendicular.

If $\text{A}=\text{diag}\begin{pmatrix}2&-5&9\end{pmatrix},\text{ B}=\text{diag}\begin{pmatrix}1&1&-4\end{pmatrix}$ and $\text{C}=\text{diag}\begin{pmatrix}-6&3&4\end{pmatrix},$ find.
A - 2B

If $\text{y}=\sec^{-1}\Big(\frac{\text{x}+1}{\text{x}-1}\Big)+\sin^{-1}\Big(\frac{\text{x}-1}{\text{x}+1}\Big),$ then write the value of $\frac{\text{dy}}{\text{dx}}.$

Integrate the following integrals:
$\int\sin\text{mx}\cos\text{nx dx m}\neq\text{n}$

The acute angle between the line $\frac{x+1}{2}=\frac{y}{3}=\frac{z-3}{6}$ and plane $10 x+2 y-11 z=8$ is ______.

If P is orthocenter, Q is circumcenter and G is centroid of a triangle ABC, then prove that$\overline{Q P}=3 \overline{Q G}$

Two balls are drawn at random with replacement from a box containing 10 black and 8 red balls. Find the probability that.
One of them is black and other is red.

Determine whether the following operations define a binary operation on the given set or not:
' O ' on Z defined by a $Ob = a ^{ b }$ for $all a , b \in Z$.