命題 p,q に対して ¬(p∧q) と論理的に同値な式はどれか。

ド・モルガンの法則により，否定が分配されるときは結合を反転させる．命題pとqの論理積p∧qを否定すると，それはpが偽であるかqが偽であるかの少なくとも一方が成り立つ状況と等価になる．真理値表を4通り書いても，¬(p∧q)と¬p∨¬qの列は完全に一致し，同じ行が全て同じ真偽になる．一方，¬p∧¬qは両方が偽の場合だけ真なので強すぎ，条件文p→qなどは全く別の意味を持つ．したがって正しい等価変形は選択肢1のみとなる。