Question

using truth table verify the following
[p V ( ~p v ~q ) ] ^ [ p v (q ^ r) ] = p v (q ^ r)​

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)