По обычному правилу: число строк таблицы истинности равно 2^k, где k — число независимых переменных (A, B, C и т.д.). Число столбцов обычно равно k + 1 (один столбец на каждую переменную и один столбец для значения высказывания). Ниже разбор по каждому высказыванию.
- A и B или C
- Предположение о порядке операций: ∧ имеет более высокий приоритет, поэтому (A ∧ B) ∨ C.
- Переменные: A, B, C → k = 3
- Строк: 2^3 = 8
- Столбцов: 3 переменные + 1 столбец результата = 4
Итого: Строк: 8, Столбцов: 4
- не (не A или B)
- Переменные: A, B → k = 2
- Строк: 2^2 = 4
- Столбцов: 2 переменные + 1 столбец результата = 3
Итого: Строк: 4, Столбцов: 3
- A или B и A или не C
- Предположение о порядке операций: (A ∨ B) ∧ (A ∨ ¬C) (∧ связывает две части, каждую из которых образуют A ∨ …)
- Переменные: A, B, C → k = 3
- Строк: 2^3 = 8
- Столбцов: 3 переменные + 1 столбец результата = 4
Итого: Строк: 8, Столбцов: 4
Если нужно, могу привести сами таблицы истинности или разобрать альтернативные трактовки скобок.