Álgebra booleana

Sistema lógico fundado en los desarrollos de George Boole, que permite construir tablas coordinadas de términos lógicos, llamadas tablas veritativas, discriminatorias de las posiciones de falso o verdadero; lo que permite aplicar los procedimientos matemáticos a todos los problemas lógicos, y que constituye el fundamento filosófico y operativo de la tecnología de la computación. Véase Historia de la lógica.