Ответ:
| A | B | ¬B | B ∨ ¬B | (B ∨ ¬B) ∨ A |
|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 |
| 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 0 | 1 | 1 |
Так как \(B\lor\neg B\) всегда истинно, всё выражение также всегда истинно.
| A | B | ¬B | B ∨ ¬B | (B ∨ ¬B) ∨ A |
|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 |
| 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 0 | 1 | 1 |
Так как \(B\lor\neg B\) всегда истинно, всё выражение также всегда истинно.