If $P$ and $Q$ are two statements, then which of the following compound statement is a tautology?

LHS of all the options are same i.e. $\left(\right(P\to Q)\wedge ~Q)$

$\equiv (~P\vee Q)\wedge ~Q$

$\equiv (~P\wedge ~Q)\vee (Q\wedge ~Q)$

$\equiv ~P\wedge ~Q$

(A) $(~P\wedge ~Q)\to Q$

$\equiv ~(~P\wedge ~Q)\vee Q$

$\equiv (P\vee Q)\vee Q\ne$ tautology

(B) $(~P\wedge ~Q)\to ~P$

$\equiv ~(~P\wedge ~Q)\vee ~P$

$\equiv (P\vee Q)\vee ~P$

(C) $(~P\wedge ~Q)\to P$

$\equiv (P\vee Q)\vee P\ne$ Tautology

(D) $(~P\wedge ~Q)\to (P\wedge Q)$

$\equiv (P\vee Q)\vee (P\wedge Q)\ne$ Tautology