Фамилия учёного, чьи исследования сыграли ключевую роль в применении алгебры логики в вычислительной технике, — это Буль. Джордж Буль был английским математиком и логиком, жившим в XIX веке. Его работы в области логики и алгебры стали основополагающими для развития цифровых систем и компьютеров.
В 1854 году Буль опубликовал книгу "Исследование законов мысли", в которой представил свою алгебру логики, позже названную булевой алгеброй. Эта математическая структура позволила выразить логические высказывания и операции в алгебраической форме. Основные логические операции — такие как И (конъюнкция), ИЛИ (дизъюнкция) и НЕ (отрицание) — были представлены в виде простых алгебраических выражений.
Булева алгебра оказалась чрезвычайно полезной для разработки цифровых схем и компьютерных технологий. В середине XX века, с развитием электронных вычислительных машин, идеи Буля были использованы для проектирования и оптимизации логических схем, которые стали основой для работы процессоров, памяти и других компонентов компьютеров.
Таким образом, исследования Джорджа Буля сыграли критическую роль в становлении и развитии информатики как науки, а его алгебра логики продолжает оставаться фундаментальной основой для многих современных вычислительных систем.