論理式A⇒Bが¬A∨Bになる理由とA∧Bが¬(¬A∨¬B)になる仕組みをわかりやすく解説

数学や情報科学で登場する論理式では、「なぜこの変形が成り立つのか」が分からないまま公式として覚えてしまうことがあります。特に「A⇒Bが¬A∨Bで表せる理由」や「A∧Bが¬(¬A∨¬B)になる理由」は、論理の基本を理解するうえで重要なポイントです。

この記事では、真理値表を使いながら、それぞれの論理式が同じ意味になる理由を順番に解説します。暗記ではなく、どのような考え方で式が変形されているのかを理解できるように説明します。

論理式では真理値が同じなら同じ意味になる

論理学では、2つの式が同じ働きをするかどうかは、それぞれの条件で結果が一致するかによって判断します。

例えば、AとBという命題があるとき、Aが真（正しい）なのか偽（間違い）なのか、Bが真なのか偽なのかをすべて調べ、その結果が一致すれば2つの論理式は同値であると言えます。

そのため、論理式の変形を理解するときは、まず真理値表を見ることが基本になります。

「AならばB」を表す論理記号がA⇒Bです。この意味は、「Aが成立した場合には必ずBが成立する」という条件です。

ここで重要なのは、A⇒Bが偽になる場合はどんな場合かということです。

A⇒Bが偽になるのは、「AなのにBではない」という1つの場合だけです。

つまり、偽になる条件は「Aが真かつBが偽」です。これを否定すると、A⇒Bは「Aではない、またはBである」と表現できます。

したがって、A⇒Bは次のようになります。

A⇒B＝¬A∨B

これは「Aが起きなければ条件違反ではない」「Aが起きてもBなら問題ない」という考え方です。

A∧Bは「AもBも両方成立する」という意味です。逆に考えると、A∧Bが成立しないのはどのような場合でしょうか。

AとBのどちらか一方でも偽なら、A∧Bは偽になります。

A∧Bが偽になる状態は、「Aが偽」または「Bが偽」です。つまり、¬A∨¬Bです。

しかし、A∧Bはその逆、つまり¬A∨¬Bではない状態です。そのため全体を否定します。

A∧B＝¬(¬A∨¬B)

これはド・モルガンの法則と呼ばれる論理の基本的な性質です。

¬(¬A∨¬B)という形は一見複雑に見えますが、「Aではない、またはBではない」という状態を否定していると考えると分かりやすくなります。

例えば、「雨が降っていない、または傘を持っていない」という文章を否定すると、「雨が降っていて、傘を持っている」という意味になります。

つまり、否定が外側につくことで、「どちらかがダメ」という条件から「両方とも成立」という条件に変わります。

A⇒B＝¬A∨BやA∧B＝¬(¬A∨¬B)のような式は、公式として覚えることもできます。しかし、なぜそうなるのかを理解していれば、似た形の問題にも対応できます。

特に情報処理やプログラミングでは、条件分岐や論理回路で同じ考え方が使われます。

真理値表を書き、「どの場合に成立するのか」「どの場合に失敗するのか」を考える習慣をつけると、論理式の変形は自然に理解できるようになります。

A⇒Bが¬A∨Bになる理由は、A⇒Bが偽になる唯一の条件が「Aが真でBが偽」だからです。その逆を考えることで「Aではない、またはB」という形になります。

また、A∧Bが¬(¬A∨¬B)になる理由は、「AまたはBのどちらかが偽」という状態を否定すると、「AもBも真」という状態になるためです。

論理式は形だけを見ると難しく感じますが、真理値表を使って意味を確認すると、それぞれの変形が自然な結果であることが分かります。