.
.
.
.
Mathematical Logic
Question

Which of the following is/are tautology:

Answer



(a ^ b) -> (b v c)

= ab -> b + c

=(ab)' + b+ c

= a' + b' + b + c

= a' + 1 + c

=1

So ((a ^b) -> (b v c)) is tautology