При структурном подходе к моделированию комбинационных дискретных устройств приняты следующие допущения [30]:
1. Ограничимся рассмотрением одновыходных логических элементов.
2. Многовыходные логические элементы будем представлять совокупностями одновыходных элементов с объединением их одноименных входов.
3. Основное рассмотрение будем вести относительно логических элементов, обладающих свойством односторонней проводимости (от входов к выходу), свойством разделительности (независимости) входов и свойством существенности всех ni, входов. Примерами таких элементов являются бесконтактные полупроводниковые логические элементы.
2.2.3. Логическая сеть – основная структурная математическая модель комбинационного устройства
В качестве структурной математической модели комбинационного устройства обычно принимается правильная логическая сеть (схема). Дадим неформальное определение логической сети, близкое к известному инженерному понятию функциональной схемы устройства и получившее удобную интерпретацию на языке графов. Но для этого первоначально следует определить ряд вспомогательных понятий.
Базисом логической сети назовем множество функционально разных логических элементов устройства и обозначим его символом Н.