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