(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