Теория и пояснения
Таблица истинности — это таблица, в которой для каждого возможного набора значений логических переменных вычислено значение формулы. Если переменных n, то наборов ровно 2ⁿ: для двух переменных — 4 строки, для трёх — 8, для четырёх — 16. Инструмент сам находит все переменные в формуле (латинские буквы A, B, C, D, …), перебирает все комбинации нулей и единиц и считает результат на каждом шаге. Поддерживаются все основные связки: отрицание НЕ (¬, !, NOT), конъюнкция И (∧, &, AND), дизъюнкция ИЛИ (∨, |, OR), импликация (→), эквивалентность (↔, ≡), а также исключающее ИЛИ XOR (⊕, ^). Приоритет операций обычный: сначала отрицание, затем И, затем XOR и ИЛИ, потом импликация и в конце эквивалентность; порядок можно менять скобками. Помимо итогового столбца показываются промежуточные подформулы — так видно, как результат собирается по шагам. По готовой таблице инструмент сразу определяет, является ли формула тождественно истинной (тавтологией), тождественно ложной (противоречием) или выполнимой, и строит совершенную дизъюнктивную (СДНФ) и совершенную конъюнктивную (СКНФ) нормальные формы.