Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные в 4 веке до нашей эры древне-греческими мыслителями. Основы формальной логики заложил Аристотель, который впервые отделил логические формы речи от ее содержания –это явилось первым этапом в развитии логики. Второй этап – математическая логика, основы которой заложил в своей работе «Об искусстве комбинаторики» (1666) великий немецкий философ, математик, физик и  языковед Готфрид Вильгельм Лейбниц(1646-1716). Великий русский и швейцарский ученый Леонард  Эйлер (1707-1783)  с  1727г.  по 1741г.  работал в России. С 1766г. был избран академиком Петербургской АН. Ученый необычайной широты интересов. Автор свыше 800 работ  по  математике, физике, небесной  механике, оптике, баллистике, кораблестроению, теории музыки. Предложил так называемые круги Эйлера, ставшие основой формальной логики. Однако основоположником математической  логики  считается  Джордж Буль (1815-1864),английский математик, отец всемирно известной писательницы Этель Лилиан Войнич (роман «Овод»). Поэтому начальный раздел математической логики часто называют булевой алгеброй или алгеброй логики.             Для анализа и синтеза схем в ЭВМ при алгоритмизации и программировании решения задач широко используется математический аппарат алгебры логики.