Buktikan dengan menggunakan tabel kebenaran bahwa (p v q)

Buktikan dengan menggunakan tabel kebenaran bahwa (p v q) ^(neg p v r) ->(q v r) merupakan suatu tautologi.