Ответ:
Сначала находим ¬A, затем B ∨ ¬A и результат дизъюнкции (B ∨ ¬A) ∨ A.
| A | B | ¬A | B ∨ ¬A | (B ∨ ¬A) ∨ A |
|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 |
| 1 | 1 | 0 | 1 | 1 |
Порядок строк соответствует изображению: (A, B) = (0, 0), (0, 1), (1, 0), (1, 1).
Сначала находим ¬A, затем B ∨ ¬A и результат дизъюнкции (B ∨ ¬A) ∨ A.
| A | B | ¬A | B ∨ ¬A | (B ∨ ¬A) ∨ A |
|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 |
| 1 | 1 | 0 | 1 | 1 |
Порядок строк соответствует изображению: (A, B) = (0, 0), (0, 1), (1, 0), (1, 1).