Computer Science, asked by AndrewWorg, 2 months ago

Without constructing the Truth Table, prove that (p→q) →q=pvq

Answers

Answered by Anonymous
2

Answer:

L.H.S. =p↔q

=(p→q)∧(q→p)

=(p∨∼q)∧(q∨∼p)

=((p∨∼q)∧q)∨((p∨∼q)∧∼p)

=((p∧q)∨(∼q∧q))∨((p∧∼p)∨(∼q∧∼p))

=(p∧q)∨(∼p∧∼q)

= R.H.S.

Hence proved.

Similar questions