Section 4.4 真值表
Objectives: 真值表
- 每一行都是公式的一个赋值\(\qquad\)
- 最后一列是公式的整体真值\(\qquad\)
- 有多少种可能的赋值就有多少行\(\qquad \qquad\)
\(p\) \(q\) \(r\) \((p \vee q) \imp r\) 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1
| \(p\) | \(q\) | \(r\) | \((p \vee q) \imp r\) |
| 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 |
| 1 | 1 | 1 | 1 |