Математические модели описываются лог. выражениями булевой алгебры, связывающими выходные сигналы элементов у с входными сигналами х и внутренними состояниями s: y = f(x,s).

Математическая модель комбинационного логического элемента представляет собой логическое выражение, связывающее с помощью логической функции f вектор выходных сигналов у с вектором входных сигналов х. Вид этой функции определяется типом комбинационного элемента. Например для элемента 2И-НЕ: математическая модель у=!(x1&x2),программная модель на Си++ int AND (int x1,int x2){ return (!(x1&x2))}