(p^q)->r = p->(q->r) 이거하고, (p=q) = (p^q)V(~p^~q) 이거 증명좀 해줘 아니면 이해되게 설명 좀...