>>290->>293
あー、最初にPが偽だとしていたんですね
わかりました
ありがとうございました
あと、A⇒B ⇔ A' ∨ Bってのが色々検索してみたり、どんなに考えても納得できないんですけど、皆様はどのように納得しましたか？
それとも単なる機械的操作として諦め？てますか？