結局誰も
論理積　⇒　論理和
論理和　⇒　論理積
を自明と言いながら証明できないんですね
別スレでその自明の内容は偽の仮定(笑)だそうです

おしまいだ〜