Let p→q↔~q*p is a tautology, then p*~q  is equilvalent to

For p→q↔~q*p to be tautology, truth values of~q*p will be as shown in the table so~q*p=~~q∧p=q∨~p=~p∨q=p→qHence, p*~q=~p∧~q =~p∨q=p→q