Ответ:
В таблицах 1 означает «истина», 0 — «ложь». Для а) и б) перебираются все пары значений A и B; для в) и г) — все наборы значений A, B и C.
а) \(B\land(A\lor B)\)
| A | B | B ∨ (A ∨ B) |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
б) \(A\land(B\lor\neg B)\)
| A | B | ¬B | A ∧ (B ∨ ¬B) |
|---|---|---|---|
| 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
в) \(A\land(A\lor B\lor C)\)
| A | B | C | A ∧ (A ∨ B ∨ C) |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 |
| 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 |
г) \(A\lor B\lor\neg C\)
| A | B | C | ¬C | A ∨ B ∨ ¬C |
|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 |
| 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 0 | 1 | 1 |
| 0 | 1 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 | 1 |
| 1 | 0 | 1 | 0 | 1 |
| 1 | 1 | 0 | 1 | 1 |
| 1 | 1 | 1 | 0 | 1 |
