Уткин А. А., Анализ логических сетей и техника булевых вычислений.

1979, изд-во: Наука и техника, город: Минск., стр. : 152 стр. Тираж 1850 экз., обложка: Мягкая издательская обложка., формат: Обычный., состояние: Отличное. Не читали. . Предлагаемый в книге подход отличается тем, что сначала строится базовая система операций над булевыми функциями и развивается методика ее применения — разрабатывается техника булевых вычислений. Затем в порядке, возрастания сложности рассматриваются типичные задачи анализа и каждая новая задача сводится к уже решенным. В конечном счете все задачи оказываются сведенными к операциям базовой системы. Для практической реализации такого подхода необходимо обеспечить эффективное выполнение базовых операций на ЭВМ.