命題 $p$ と $q$ に対して、$\land$ (論理積) の定義に従い、与えられた真理値表を完成させる問題です。真理値表には、$\neg p$, $\neg q$, $\neg p \lor \neg q$, $\neg (\neg p \lor \neg q)$, $p \land q$ の列を埋める必要があります。
2025/6/23
1. 問題の内容
命題 と に対して、 (論理積) の定義に従い、与えられた真理値表を完成させる問題です。真理値表には、, , , , の列を埋める必要があります。
2. 解き方の手順
(1) の列を埋める。 は の否定なので、 が1 (真) なら0 (偽)、 が0 (偽) なら1 (真) となります。
(2) の列を埋める。 は の否定なので、 が1 (真) なら0 (偽)、 が0 (偽) なら1 (真) となります。
(3) の列を埋める。 は または が真であれば真となります (論理和)。両方とも偽の場合に偽となります。
(4) の列を埋める。 は の否定なので、 が1 (真) なら0 (偽)、 が0 (偽) なら1 (真) となります。
(5) の列を埋める。 は かつ が真の時に真となります (論理積)。 と の両方が1 (真) の場合にのみ1 (真) となり、それ以外の場合は0 (偽) となります。
真理値表は以下のようになります。
| | | | | | | |
|---|---|---|---|---|---|---|
| 1 | 1 | 0 | 0 | 0 | 1 | 1 |
| 1 | 0 | 0 | 1 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 | 1 | 0 | 0 |
| 0 | 0 | 1 | 1 | 1 | 0 | 0 |
3. 最終的な答え
完成した真理値表は以下の通りです。
| | | | | | | |
|---|---|---|---|---|---|---|
| 1 | 1 | 0 | 0 | 0 | 1 | 1 |
| 1 | 0 | 0 | 1 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 | 1 | 0 | 0 |
| 0 | 0 | 1 | 1 | 1 | 0 | 0 |