Question

Please answer the question regarding truth table...

Using truth table prove that
(p↔q)=[( p∨ q)∧~ (p∧ q)

Answer 1

Answer:

p q p↔q p∧q ∼p ∼q ∼p∧∼q (p∧q)∨(∼p∧∼q)

T T T T F F F T

T F F F F T F F

F T F F T F F F

F F T F T T T T

From column 3 and 8 we get p↔q≡(p∧q)∨(∼p∧∼q)