>>114
同値性なんだから
証明するのは(P⇒Q)⇒(￢Q⇒￢P)とその逆（こちらはNJでは証明できない）
P,Qの論理式の真偽値表（当然NKのな）は
P∧Q,P∧￢Q,￢P∧Q,￢P∧￢Qから
それかその否定かどちらが照明できるかで決める