Таблица истинности

Построение таблицы истинности

Таблица истинности перечисляет все возможные сочетания входов вместе с выходами, которые выдаёт схема. Это самый прямой способ ответить на вопрос «делает ли схема то, что я думаю»: не нужно рассуждать о порядке вентилей и водить пальцем по проводам — всё поведение выложено построчно.

Boolflow строит таблицу полным перебором. Он находит все элементы INPUT на активном слое, перебирает все 2^N сочетаний, симулирует схему для каждого и записывает, к чему пришёл каждый OUTPUT. Перебор исчерпывающий, а не выборочный, поэтому верная таблица равносильна доказательству: не остаётся непроверенного набора входов, на котором схема могла бы ошибиться.

• Входы и выходы подписаны теми именами, которые вы задали в редакторе, — таблицу можно читать как документацию.
• Знак «?» в ячейке означает, что выход не установился: обычно это неподключённый вход или комбинационная петля.
• Экспорт в CSV позволяет сравнить две версии проекта или вставить результат в отчёт.

Таблица ограничена десятью входами. Ограничение не произвольное: десять входов — это уже 1024 строки, и каждый следующий вход удваивает число. Выше этого порога точечные тест-кейсы полезнее исчерпывающей таблицы.