Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2

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

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

Question 1.
Construct the truth table for each of the following statement patterns:
(i) [(p → q) ∧ q] → p
Solution :
Here are two statements and three connectives.
∴ there are 2 × 2 = 4 rows and 2 + 3 = 5 columns in the truth table.
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 1

(ii) (p ∧ ~q) ↔ (p → q)
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 2

(iii) (p ∧ q) ↔ (q ∨ r)
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 3

Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.1

(iv) p → [~(q ∧ r)]
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 4

(v) ~p ∧ [(p ∨ ~q ) ∧ q]
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 5

(vi) (~p → ~q) ∧ (~q → ~p)
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 6

Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.1

(vii) (q → p) ∨ (~p ↔ q)
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 7

(viii) [p → (q → r)] ↔ [(p ∧ q) → r]
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 8

(ix) p → [~(q ∧ r)]
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 4

(x) (p ∨ ~q) → (r ∧ p)
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 9

Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.1

Question 2.
Using truth tables prove the following logical equivalences.
(i) ~p ∧ q ≡ (p ∨ q) ∧ ~p
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 10
The entries in the columns 4 and 6 are identical.
∴ ~p ∧ q ≡ (p ∨ q) ∧ ~p.

(ii) ~(p ∨ q) ∨ (~p ∧ q) ≡ ~p
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 11
The entries in the columns 3 and 7 are identical.
∴ ~(p ∨ q) ∧ (~p ∧ q) = ~p.

(iii) p ↔ q ≡ ~[(p ∨ q) ∧ ~(p ∧ q)]
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 12
The entries in the columns 3 and 8 are identical.
∴ p ↔ q ≡ ~[(p ∨ q) ∧ ~(p ∧ q)].

Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.1

(iv) p → (q → p) ≡ ~p → (p → q)
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 13
The entries in the columns 4 and 7 are identical.
∴ p → (q → p) ≡ ~p → (p → q).

(v) (p ∨ q ) → r ≡ (p → r) ∧ (q → r)
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 14
The entries in the columns 5 and 8 are identical.
∴ (p ∨ q ) → r ≡ (p → r) ∧ (q → r).

(vi) p → (q ∧ r) ≡ (p → q) ∧ (p → r)
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 15
The entries in the columns 5 and 8 are identical.
∴ p → (q ∧ r) ≡ (p → q) ∧ (p → r).

Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.1

(vii) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 16
The entries in the columns 5 and 8 are identical.
∴ p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r).

(viii) [~(p ∨ q) ∨ (p ∨ q)] ∧ r ≡ r
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 17
The entries in the columns 3 and 7 are identical.
∴ [~(p ∨ q) ∨ (p ∨ q)] ∧ r ≡ r.

(ix) ~(p ↔ q) ≡ (p ∧ ~q) ∨ (q ∧ ~p)
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 18
The entries in the columns 6 and 9 are identical.
∴ ~(p ↔ q) ≡ (p ∧ ~q) ∨ (q ∧ ~p).

Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.1

Question 3.
Examine whether each of the following statement patterns is a tautology or a contradiction or a contingency.
(i) (p ∧ q) → (q ∨ p)
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 19
All the entries in the last column of the above truth table are T.
∴ (p ∧ q) → (q ∨ p) is a tautology.

(ii) (p → q) ↔ (~p ∨ q)
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 20
All the entries in the last column of the above truth table are T.
∴ (p → q) ↔ (~p ∨ q) p is a tautology.

(iii) [~(~p ∧ ~q)] ∨ q
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 21
The entries in the last column of the above truth table are neither all T nor all F.
∴ [~(~p ∧ ~q)] ∨ q is a contingency.

Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.1

(iv) [(p → q) ∧ q)] → p
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 22
The entries in the last column of the above truth table are neither all T nor all F.
∴ [(p → q) ∧ q)] → p is a contingency

(v) [(p → q) ∧ ~q] → ~p
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 23
All the entries in the last column of the above truth table are T.
∴ [(p → q) ∧ ~q] → ~p is a tautology.

(vi) (p ↔ q) ∧ (p → ~q)
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 24
The entries in the last column of the above truth table are neither all T nor all F.
∴ (p ↔ q) ∧ (p → ~q) is a contingency.

Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.1

(vii) ~(~q ∧ p) ∧ q
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 25
The entries in the last column of the above truth table are neither all T nor all F.
∴ ~(~q ∧ p) ∧ q is a contingency.

(viii) (p ∧ ~q) ↔ (p → q)
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 26
All the entries in the last column of the above truth table are F.
∴ (p ∧ ~q) ↔ (p → q) is a contradiction.

Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.1

(ix) (~p → q) ∧ (p ∧ r)
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 27
The entries in the last column of the above truth table are neither all T nor all F.
∴ (~p → q) ∧ (p ∧ r) is a contingency.

(x) [p → (~q ∨ r)] ↔ ~[p → (q → r)]
Solution:
Maharashtra Board 12th Maths Solutions Chapter 1 Mathematical Logic Ex 1.2 28
All the entries in the last column of the above truth table are F.
∴ [p → (~q ∨ r)] ↔ ~[p → (q → r)] is a contradiction