English

Using the truth table, prove the following logical equivalence. p ↔ q ≡ ~(p ∧ ~q) ∧ ~(q ∧ ~p) - Mathematics and Statistics

Advertisements
Advertisements

Question

Using the truth table, prove the following logical equivalence.

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

Sum
Advertisements

Solution

1 2 3 4 5 6 7 8 9 10
p q ~p ~q p↔q p∧~q ~(p∧~q) (q∧~p) ~(q∧~p) ~(p∧~q)∧~(q ∧ ~p)
T T F F T F T F T T
T F F T F T F F T F
F T T F F F T T F F
F F T T T F T F T T

In the above truth table, the entries in columns 5 and 10 are identical.

∴ p ↔ q ≡ ~(p ∧ ~q) ∧ ~(q ∧ ~p)

shaalaa.com
  Is there an error in this question or solution?
Chapter 1: Mathematical Logic - Miscellaneous Exercise 1 [Page 33]
Share
Notifications

Englishहिंदीमराठी


      Forgot password?
Use app×