>>557
×「¬p∨q」ってのは「pでない、かつq」
○「¬p∨q」ってのは「pでない、またはq」