Логические методы анализа и синтеза схем (Поспелов Д.А.)