Системное автоматизированное проектирование
...трассировка меж- соединений, проверка соответствия топологической и электрической схем , расслоение, вычерчивание послойной...
...формул кодируются таблицами истинности . Они устанавливают значения 0 либо 1 ("ложь" либо "истина") формулам