Balbharti 12th Maharashtra State Board Maths Solutions Book Pdf Chapter 1 Mathematical Logic Ex 1.4 Questions and Answers.

## Maharashtra State Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.4

Question 1.

Using rules of negation write the negations of the following with justification.

(i) ~q → p

Solution:

The negation of ~q → p is

~(~q → p) ≡ ~ q ∧ ~p…. (Negation of implication)

(ii) p ∧ ~q

Solution:

The negation of p ∧ ~q is

~(p ∧ ~q) ≡ ~p ∨ ~(~q) … (Negation of conjunction)

≡ ~ p ∨ q … (Negation of negation)

(iii) p ∨ ~q

Solution:

The negation of p ∨ ~ p is

~ (p ∨ ~(q) ≡ ~p ∧ ~(~(q) … (Negation of disjunction)

≡ ~ p ∧ q … (Negation of negation)

(iv) (p ∨ ~q) ∧ r

Solution:

The negation of (p ∨ ~ q) ∧ r is

~[(p ∨ ~q) ∧ r] ≡ ~(p ∨ ~q) ∨ ~r … (Negation of conjunction)

≡ [ ~p ∧ ~(~q)] ∨ ~ r… (Negation of disjunction)

≡ (~ p ∧ q) ∧ ~ r … (Negation of negation)

(v) p → (p ∨ ~q)

Solution:

The negation of p → (p ∨ ~q) is

~ [p → (p ∨ ~q)] ≡ p ∧ ~ (p ∧ ~p) … (Negation of implication)

≡ p ∧ [ ~ p ∧ ~ (~(q)] … (Negation of disjunction)

≡ p ∧ (~ p ∧ q) (Negation of negation)

(vi) ~(p ∧ q) ∨ (p ∨ ~q)

Solution:

The negation of ~(p ∧ q) ∨ (p ∨ ~q) is

~[~(p ∧ q) ∨ (p ∨ ~q)] ≡ ~[~(p ∧ q)] ∧ ~(p ∨ ~q) … (Negation of disjunction)

≡ ~[~(p ∧ q)] ∧ [ p ∧ ~(~q)] … (Negation of disjunction)

≡ (p ∧ q) ∧ (~ p ∧ q) … (Negation of negation)

(vii) (p ∨ ~q) → (p ∧ ~q)

Solution:

The negation of (p ∨ ~q) → (p ∧ ~q) is

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

≡ (p ∨ ~q) ∧ ~(p ∧ ~q) … (Negation of implication)

≡ (p ∨ ~q) ∧ [ ~p ∨ ~(~q)] … (Negation of conjunction)

≡ (p ∨ ~q) ∧ (~p ∨ q) … (Negation of negation)

(viii) (~ p ∨ ~q) ∨ (p ∧ ~q)

Solution:

The negation of (~ p ∨ ~q) ∨ (p ∧ ~ q) is

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

≡ ~(~p ∨ ~q) ∧ ~(p ∧ ~q) … (Negation of disjunction)

≡ [~(~p) ∧ ~(~q)] ∧ [~p ∨ ~(~q)] … (Negation of disjunction and conjunction)

≡ (p ∧ q) ∧ (~p ∨ q) … (Negation of negation)

Question 2.

Rewrite the following statements without using if .. then.

(i) If a man is a judge then he is honest.

Solution:

Since p → ≡ ~p ∨ q, the given statements can be written as :

A man is not a judge or he is honest.

(ii) It 2 is a rational number then \(\sqrt {2}\) is irrational number.

Solution:

2 is not a rational number or \(\sqrt {2}\) is irrational number.

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

Solution:

f(2) ≠ 0 or f(x) is divisible by (x – 2).

Question 3.

Without using truth table prove that :

(i) p ↔ q ≡ (p∧ q) ∨ (~ p ∧ ~q)

Solution:

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.

(ii) (p ∨ q) ∧ (p ∨ ~q) ≡ p

Solution:

LHS = (p ∨ q) ∧ (p ∨ ~q)

≡ p ∨ (q ∧ ~q) … (Distributive Law)

≡ p ∨ F … (Complement Law)

≡ p … (Identity Law)

≡ RHS.

(iii) (p ∧ q) ∨ (~ p ∧ q) ∨ (p ∧ ~q) ≡ p ∨ q

Solution:

LHS = (p ∧ q) v (~p ∧ q) ∨ (p ∧ ~q)

≡ [(p ∨ ~p) ∧ q] ∨ (p ∧ ~q) … (Distributive Law)

≡ (T ∧ q) ∨ (p ∧ ~q) … (Complement Law)

≡ q ∨ (p ∧ ~q) … (Identity Law)

≡ (q ∨ p) ∧ (q ∨ ~q) … (Distributive Law)

≡ (q ∨ p) ∧ T .. (Complement Law)

≡ q ∨ p … (Identity Law)

≡ p ∨ q … (Commutative Law)

≡ RHS.

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

Solution:

LHS = ~[(p ∨ ~q) → (p ∧ ~q)]

≡ (p ∨ ~q) ∧ ~(p ∧ ~q) … (Negation of implication)

≡ (p ∨ ~q) ∧ [~p ∨ ~(~q)] … (Negation of conjunction)

≡ (p ∨ ~ q) ∧ (~p ∨ q)… (Negation of negation)

≡ RHS.