与えられた真理値表を完成させる問題です。$p$ と $q$ の真偽値が与えられたとき、$p \land q \rightarrow p$, $p \rightarrow p \land q$, $\lnot (p \land q) \rightarrow \lnot p$, $\lnot p \rightarrow \lnot (p \land q)$ の真偽値を求めます。
2025/6/24
1. 問題の内容
与えられた真理値表を完成させる問題です。 と の真偽値が与えられたとき、, , , の真偽値を求めます。
2. 解き方の手順
まず、 の真偽値を求めます。 は、 と が共に真のときのみ真となります。
次に、 の真偽値を求めます。 は、 が真で が偽のときのみ偽となります。
次に、 の真偽値を求めます。 は、 が真で が偽のときのみ偽となります。
次に、 の真偽値を求めます。 は、 が真のとき偽、 が偽のとき真となります。
次に、 の真偽値を求めます。 は、 が真で が偽のときのみ偽となります。
最後に、 の真偽値を求めます。 は、 が真で が偽のときのみ偽となります。
3. 最終的な答え
完成した真理値表は以下の通りです。
| | | | | | |
|---|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 1 | 0 | 1 | 1 |
| 0 | 1 | 1 | 0 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 1 |