Для высказывания с тремя переменными (A, B, C) таблица истинности содержит 2^3 = 8 строк. Количество столбцов зависит от количества уникальных компонент формулы. В данном случае нам потребуется четыре столбца: A, B, C и результат формулы (не (А или В) или С).