Модели функциональных схем на вентильном уровне представляют собой системы логических уравнений.
Модель, отражающая протекающие в схеме процессы, называется асинхронной.
Модель, отражающая отдельные состояния, называется синхронной.
Количество различимых состояний сигнала образует алфавит моделирования или значность логики. Наиболеее часто для моделирования логических схем используется двузначная, трехзначная и пятизначная логика.
при условии, что А и В - входы , а С - выход, для элементов И, ИЛИ и НЕ таблицы истинности будут выглядеть следующим образом.
Для двузначной логики:
И ИЛИ НЕ
Для трехзначной логики вводится дополнительное состояние - неопределено (*):
И ИЛИ  НЕ
Для пятизначной логики вводятся еще два состояния Д (переход 1--0) и Е ( переход 0--1)
И

ИЛИ

НЕ