私はそれを証明しなければなりません~p→(q→r)≡ q→(pvr)
これは私がこれまでに行ったことです：
q→(pvr)
≡(q→p)v(q→r)
≡ ~(q→p)→(q→r)
≡ (q^~p)→(q→r)
≡ q→(~qvr) v ~p→(q→r)
≡ ~qv(~qvr) v ~p→(q→r)
≡ (~qvr)v ~p→(q→r)
≡ (q→r) v [~p→(q→r)]
これをどのように解決すればよいですか？
私はそれを証明しなければなりません~p→(q→r)≡ q→(pvr)
これは私がこれまでに行ったことです：
q→(pvr)
≡(q→p)v(q→r)
≡ ~(q→p)→(q→r)
≡ (q^~p)→(q→r)
≡ q→(~qvr) v ~p→(q→r)
≡ ~qv(~qvr) v ~p→(q→r)
≡ (~qvr)v ~p→(q→r)
≡ (q→r) v [~p→(q→r)]
これをどのように解決すればよいですか？