Question

Using truth table prove the logical equivalence ( 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)

Hence proved.