Круг задач, решаемых методом логического моделирования, определяется в первую очередь числом различимых состояний, которые может принимать цифровой сигнал.
Каждому состоянию сопоставляется свой индивидуальный символ, а их совокупность составляет алфавит моделирования.
Простейший алфавит - двоичный, используемый в старых АСМ, содержал битовый набор {0, 1}.
Так как в этом случае любой сигнал может принимать только два значения (0 и 1), то смену логического уровня вынужденно приходилось считать мгновенной.
Достоинство – экономичность. Позволяет решать только одну главную задачу моделирования – проверить работу схемы
Модели цифровых сигналов
При троичном моделировании {0, 1, Х} переключающийся сигнал можно изобразить более реалистично, например 0Х1 или 1Х0. Такая запись означает, что при смене состояния элемента его выходной сигнал в течение некоторого времени (пока формировался фронт или спад) имел неопределенное значение.