McCluskey desarrolló el primer algoritmo para el diseño de circuitos combinacionales - el procedimiento de minimización lógica Quine-McCluskey mientras estudiaba el doctorado en el MIT.