English

Without using truth table, show that (p ∨ q) → r ≡ (p → r) ∧ (q → r)

Advertisements
Advertisements

Question

Without using truth table, show that

(p ∨ q) → r ≡ (p → r) ∧ (q → r)

Sum
Advertisements

Solution

L.H.S.

≡ (p ∨ q) → r

≡ ~ (p ∨ q) ∨ r          ....[p → q → ~ p ∨ q]

≡ (~ p ∧ ~ q) ∨ r       ....[De Morgan’s law] 

≡ (~ p ∨ r) ∧ (~ q ∨ r)       .....[Distributive law]

≡ (p → r) ∧ (q → r)             .....[p → q → ~ p ∨ q]

= R.H.S.

shaalaa.com
  Is there an error in this question or solution?
Chapter 1: Mathematical Logic - Exercise 1.9 [Page 22]

APPEARS IN

RELATED QUESTIONS

The negation of p ∧ (q → r) is ______________.


Write the Truth Value of the Negation of the Following Statement :

The Sun sets in the East. 


Rewrite the following statement without using if ...... then.

If a man is a judge then he is honest.


Rewrite the following statement without using if ...... then.

It f(2) = 0 then f(x) is divisible by (x – 2).


Using rules in logic, prove the following:

p ↔ q ≡ ∼(p ∧ ∼q) ∧ ∼(q ∧ ∼p)


Using rules in logic, prove the following:

∼ (p ∨ q) ∨ (∼p ∧ q) ≡ ∼p


Using the rules in logic, write the negation of the following:

p ∧ (q ∨ r)


Let p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r). Then, this law is known as ______.


Without using truth table, show that

p ∧ [(~ p ∨ q) ∨ ~ q] ≡ p


Using the algebra of statement, prove that (p ∨ q) ∧ (~ p ∨ ~ q) ≡ (p ∧ ~ q) ∨ (~ p ∧ q).


(p → q) ∨ p is logically equivalent to ______ 


The logical statement [∼(q ∨ ∼r) ∨ (p ∧ r)] ∧ (q ∨ p) is equivalent to: ______ 


If p ∨ q is true, then the truth value of ∼ p ∧ ∼ q is ______.


Which of the following is not a statement?


Negation of the Boolean expression `p Leftrightarrow (q \implies p)` is ______. 


Without using truth table, prove that : [(p ∨ q) ∧ ∼p] →q is a tautology.


The simplified form of [(~ p v q) ∧ r] v [(p ∧ ~ q) ∧ r] is ______.


Without using truth table prove that

[(p ∧ q ∧ ∼ p) ∨ (∼ p ∧ q ∧ r) ∨ (p ∧ q ∧ r) ∨ (p ∧ ∼ q ∧ r) ≡ (p ∨ q) ∧ r


The statement p → (q → p) is equivalent to ______.


The logically equivalent statement of \[\left(\sim p\wedge q\right)\vee\left(\sim p\wedge\sim q\right)\] \[\vee\left(\ p\wedge\sim q\right)\] is


Share
Notifications

Englishहिंदीमराठी


      Forgot password?
Use app×