冪等律を真理値表を用いて示す問題です。具体的には、以下の2つの等式が成立することを示します。 (1) $p \lor p \equiv p$ (2) $p \land p \equiv p$
2025/6/23
1. 問題の内容
冪等律を真理値表を用いて示す問題です。具体的には、以下の2つの等式が成立することを示します。
(1)
(2)
2. 解き方の手順
真理値表を作成し、、、 の真理値がそれぞれ一致することを示します。
(1) の場合
真理値表は以下のようになります。
| | |
|---|---|
| 真 | 真 |
| 偽 | 偽 |
この真理値表から、 と の真理値が常に一致することがわかります。したがって、 は成立します。
(2) の場合
真理値表は以下のようになります。
| | |
|---|---|
| 真 | 真 |
| 偽 | 偽 |
この真理値表から、 と の真理値が常に一致することがわかります。したがって、 は成立します。
3. 最終的な答え
(1) 真理値表より、 は成立します。
(2) 真理値表より、 は成立します。