Распространение сигналов
Математическая модель, заложенная в основу симулятора Logisim-evolution для расчёта распространения сигналов по цепям, спроектирована таким образом, чтобы максимально скрыть от пользователя низкоуровневые вычислительные процессы. Достаточно понимать базовый принцип: алгоритм является дискретно-событийным. Он достаточно сложен, чтобы корректно учитывать временные задержки переключения логических элементов, но при этом абстрагирован от сложных аналоговых физических явлений, таких как флуктуации напряжения, звон на линиях или паразитные ёмкостные наводки.
Для более глубокого понимания принципов работы внутреннего симулятора ознакомьтесь со следующими специализированными разделами:

Пример временной диаграммы задержек распространения (из технической документации на микросхему SN7400)
Далее: Задержки логических элементов.