Заполним таблицу истинности для логического выражения K = M ∨ B ∧ (M ∧ C).
Для удобства, сначала вычислим значения для M ∧ C, затем для ¬(M ∧ C), затем для B ∧ ¬(M ∧ C), и, наконец, для K = M ∨ B ∧ ¬(M ∧ C).
Таблица истинности будет выглядеть следующим образом:
| M | B | C | M ∧ C | ¬(M ∧ C) | B ∧ ¬(M ∧ C) | K = M ∨ B ∧ ¬(M ∧ C) |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 0 | 1 | 0 | 1 | 0 | 0 |
| 0 | 1 | 0 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 | 0 | 1 |
| 1 | 0 | 1 | 1 | 0 | 0 | 1 |
| 1 | 1 | 0 | 0 | 1 | 1 | 1 |
| 1 | 1 | 1 | 1 | 0 | 0 | 1 |
Ответ: См. таблицу выше.