Заполняем таблицу истинности для выражения \( B \land \neg (A \lor B) \) по шагам:
| A | B | A \(\lor\) B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
| A | B | A \(\lor\) B | \(\neg\) \(A \lor B\) |
|---|---|---|---|
| 0 | 0 | 0 | 1 |
| 0 | 1 | 1 | 0 |
| 1 | 0 | 1 | 0 |
| 1 | 1 | 1 | 0 |
| A | B | A \(\lor\) B | \(\neg\) \(A \lor B\) | B \(\land\) \(\neg\) \(A \lor B\) |
|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 0 |
| 0 | 1 | 1 | 0 | 0 |
| 1 | 0 | 1 | 0 | 0 |
| 1 | 1 | 1 | 0 | 0 |
Ответ:
| A | B | B \(\land\) \(\neg\) \(A \lor B\) |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 0 |