Нам нужно определить порядок действий в логическом выражении ¬A∨ (C∧¬B). Порядок действий определяется скобками и приоритетом логических операций.
Исходя из этого, порядок действий следующий:
Таким образом, числа 1, 2, 3, 4 соответствуют этим шагам.
Заполнение таблицы истинности:
Сначала заполним вспомогательные столбцы для ¬A и ¬B, а затем рассчитаем значение всего выражения.
| A | B | C | 1 (¬A) | 2 (¬B) | 3 (C ∧ ¬B) | 4 (¬A ∨ (C ∧ ¬B)) |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 0 | 1 |
| 0 | 0 | 1 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 0 | 0 | 1 |
| 0 | 1 | 1 | 1 | 0 | 0 | 1 |
| 1 | 0 | 0 | 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 0 | 0 | 0 | 0 | 0 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 |