Ответ: 5 столбцов (вариант «5»).
Как считать столбцы
Число столбцов в таблице истинности = число различных переменных + число логических операций (каждая операция даёт свой промежуточный столбец) + сам итоговый столбец F — но удобнее считать так:
$$\text{столбцы} = \underbrace{3}{\text{переменные } A, B, C} + \underbrace{2}{\text{операции } \vee \text{ и } \wedge} = 5$$
Разбор по шагам
- Переменные. В выражении $F = (A \vee B) \wedge C$ участвуют три величины: $A$, $B$, $C$. Это 3 столбца.
- Операции. Действий два: дизъюнкция $A \vee B$ (в скобках) и конъюнкция с $C$. Скобки означают, что $A \vee B$ вычисляется первым и получает свой отдельный столбец. Второе действие — итоговое, это столбец $F$. Итого 2 столбца.
- Складываем: $3 + 2 = 5$.
Проверка — сама таблица
| $A$ | $B$ | $C$ | $A \vee B$ | $F$ |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 0 | 1 | 0 |
| 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 | 0 |
| 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 0 | 1 | 0 |
| 1 | 1 | 1 | 1 | 1 |
Столбцов ровно пять, строк $2^3 = 8$ — всё сходится.
Ловушка: вариант «6» получается, если дважды посчитать итоговую операцию или «забыть», что скобки — это одна операция, а не отдельный столбец для каждой переменной внутри. А вариант «3» — если считать только переменные и забыть про промежуточные действия.
