How would you construct the truth table for ~P => (Q<=>R) ?
So I know how to start writing a truth table starting a P column, Q column, P => Q column, etc...I get confused when we're talking about contrapositives as in the case of P and then with Q and R being equivalent to each other...
Would I treat this the same way I would with ~P => Q because Q and R are equivalent?