u can take it as:
(P*Q)-->(PQ)+S (TAKE UNION AS + AND INTERSECTION AS *)
=(PQ)'+(PQ)+S (AS A-->B <==> A'+B)
=P'+Q'+PQ+S
=P'+PQ+Q'+S (AS A+BC <==> (A+B)(A+C)
=(P'+P)(P'+Q)+Q'+S
=P'+Q+Q'+S
=1+P'+S====>1
IF THIS VALUE COMES OUT TO BE
@1 ITS TAUTOLOGY(TRUE)
@0 ITS CONTRADICTION(FALSE)
@ANY VARIABLE (CONTINGENCY)
and here value is 1 so its a Tautology or True(A)