Una máquina lógica es una herramienta que contiene un conjunto de partes que utiliza energía para realizar operaciones lógicas formales . Las primeras máquinas lógicas eran dispositivos mecánicos que realizaban operaciones básicas en lógica booleana . Las máquinas lógicas contemporáneas son programas electrónicos basados en computadora que realizan pruebas de asistencia con teoremas en lógica matemática. En el siglo XXI, estos programas de asistente de prueba han dado origen a un nuevo campo de estudio denominado gestión del conocimiento matemático .
Las primeras máquinas lógicas fueron construcciones mecánicas construidas a finales del siglo XIX. William Stanley Jevons inventó la primera máquina lógica en 1869, el piano lógico. [1] En 1883, Allan Marquand inventó una nueva máquina lógica que realizaba las mismas operaciones que el piano lógico de Jevons pero con mejoras en la simplificación del diseño, la portabilidad y los controles de entrada y salida. [2]