edited by
853 views

2 Answers

Best answer
5 votes
5 votes

    (p v q) ∧ (~p v r) -> (q v r)

= (p + q)(~p + r ) - > (q + r)

= ~((p +q)(~p + r)) + (q + r)

= (p + q)' + (p' + r)' + (q + r)

= p'q' + pr' + q + r

= (p'q' + q ) + ( pr' + r )

= (p' + q ) + ( p+ r)

= (p' + p ) + q + r

= T + q + r

= T

selected by

Related questions

1 votes
1 votes
3 answers
1
0 votes
0 votes
1 answer
3