(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