Сначала составим таблицу истинности для ¬A (отрицание A):
| A | ¬A |
|---|---|
| 0 | 1 |
| 1 | 0 |
Теперь составим таблицу истинности для B ∨ ¬A (B ИЛИ НЕ A):
| B | ¬A | B ∨ ¬A |
|---|---|--------|
| 0 | 1 | 1 |
| 1 | 1 | 1 |
| 0 | 0 | 0 |
| 1 | 0 | 1 |
И, наконец, составим таблицу истинности для (B ∨ ¬A) ∧ A ((B ИЛИ НЕ A) И A):
| A | B | B ∨ ¬A | (B ∨ ¬A) ∧ A |
|---|---|--------|-------------|
| 0 | 0 | 1 | 0 |
| 0 | 1 | 1 | 0 |
| 1 | 0 | 0 | 0 |
| 1 | 1 | 1 | 1 |
Ответ:
```html
| A |
B |
(B ∨ ¬A) ∧ A |
| 0 |
0 |
0 |
| 0 |
1 |
0 |
| 1 |
0 |
0 |
| 1 |
1 |
1 |
```