Литература

1. Воробьев Н.В. Введение в булеву алгебру.

2. Глушков В.М. Синтез цифровых автоматов. -М.: Физматгиз, 1962.-476с.

3. Колдуэлл С. Логический синтез релейных устройств. Пер. с англ. -М.: Изд-во иностранной литературы, 1962. -740с.

4. Миллер Р. Теория переключательных схем, т.1 -Комбинационные схемы: Пер. с англ. -М.: Наука, Главная редакция физико-математической литературы, 1970. -416с.

5. Гиндикин С.Г. Алгебра логики в задачах. -М.: Наука, Главная редакция физико-математической литературы, 1972. -288с.

6. Фридман А., Менон П. Теория и проектирование переключательных схем. Пер. с англ. -М.: Мир, 1978. -584с.

7. Фудзисава Т., Касами Т. Математика для радиоинженеров: Теория дискретных структур; Пер. с япон. -М.: Радио и связь, 1984. -240с.

8. Яблонский С.В. Введение в дискретную математику: Учеб. пособие для вузов. -2-е изд., перераб. и доп. -М.: Наука. Гл. ред. физ.-мат. лит. -384с.

9. Akers S. B. Binary decision diagrams. IEEE Trans. Comput.Vol. C-27,

pp. 509-516, No.6, june 1978.

10. Bryant R.E. Symbolic boolean manipulation with ordered binary decision diagrams. ACM Comput. Surveys, Vol. 24, pp.293-319, No.3

september 1992.