Question

2.3) Solve the following questions: (8)
.) Using truth tables, prove the following
logical equivalences.
(p ^ q) = ~ (p =~q)​

Answer 1

Step-by-step explanation:

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)