Введение

Аристотель создал первую законченную теорию дедукции - силлогистику, реализующую идею выведения логических следствий при помощи формализованных мыслительных приемов.

Дальнейшее усовершенствование алгебры логики было осуществлено английским логиком У.С. Джевонсом (1835-1882), немецким логиком Э. Шредером (1841-1902), русским логиком П.С. Порецким (1846-1907) и другими.

В последующих трудах по алгебре логики немецкого логика Г. Фреге (1848-1925), разработавшего теорию исчисления высказываний, немецкого логика и математика Д. Гильберта (1862-1943), английского философа и логика Б. Рассела (1872-1970), придавшего (вместе с Уайтхедом) математической логике современный вид, русского логика и математика И.И. Жегалкина (1869-1947), заслугой которого явилась дальнейшая разработка исчисления классов и значительное упрощение теории операций логического сложения, предмет алгебры логики вышел далеко за рамки изучения обычных операций с понятиями.

Применение булевой алгебры в технике, как об этом пишет Г.И. Поваров, было впервые осуществлено в России известным физиком П. Эренфестом (1910 г.) и известным специалистом по гидротехническим сооружениям М.М. Герсевановым, который использовал булеву алгебру для исследования связей между различными упрощающими гипотезами при расчете гидротехнических сооружений.

Приблизительно до 1930-х годов логическая теория представляла, в основном, академический интерес и не была связана с потребностями прикладных наук. С этого момента начинают развиваться теории релейно-контактных схем, а затем общие теории анализа и синтеза абстрактных автоматов.

Строгие доказательства применимости булевой алгебры в теории контактных и релейно-контактных схем были даны в 1938 году русским физиком В.И. Шестаковым и американским математиком К.Э. Шенноном.

Область логических методов анализа и синтеза схем бурно развивалась в 50-е и начале 60-х годов и к середине 60-х годов стала сложившейся научной дисциплиной с развитым аппаратом и определенной областью исследований.

В 70-е годы отечественная промышленность освоила массовое производство микросхем средней степени интеграции, реализующих все широко используемые функциональные узлы логического управления. Переход к интегральным схемам существенно изменил способы проектирования блоков цифрового электронного управления. Развитие производственных процессов сопровождается значительным усложнением задач управления технологическим оборудованием и ростом числа необходимых логических операций.