InterviewSolution
`{(PTOQ)^^(qtor)}to(ptor)` is a TAUTOLOGY `(p^^~q)harr(ptoq)` is a tautology `~(PHARRQ)-=(p^^~q)vv(~p^^q)``pto(q^^r)-=(ptoq)^^(ptor)`
Your experience on this site will be improved by allowing cookies. Read Cookie Policy