a) B ∨ (¬A ∧ B)
| A | B | ¬A | ¬A ∧ B | B ∨ (¬A ∧ B) |
|---|---|---|---|---|
| 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 0 |
| 1 | 1 | 0 | 0 | 1 |
b) ¬B ∧ (A ∨ B)
| A | B | ¬B | A ∨ B | ¬B ∧ (A ∨ B) |
|---|---|---|---|---|
| 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 0 | 1 | 0 |
| 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 0 | 1 | 0 |
c) (¬A ∨ B) ∧ A
| A | B | ¬A | ¬A ∨ B | (¬A ∨ B) ∧ A |
|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 0 |
| 0 | 1 | 1 | 1 | 0 |
| 1 | 0 | 0 | 0 | 0 |
| 1 | 1 | 0 | 1 | 1 |
Ответ: смотри таблицы истинности выше.