InterviewSolution
(p → q) + (~q→~p)
It is a tautology
Your experience on this site will be improved by allowing cookies. Read Cookie Policy