Question 485406
Using 1=True, 0=false, steps show evaluations under expressions (not repeated on following rows.
 ~q->(~p^r).
 *1****1*0 --- given
 0****0*** --- eval ~
 *******0* --- eval ^
 ***1***** --- eval ->
 True