Vale, llego tarde pero es que he estado de boda (mi hermanita la pequeña, que se ha hecho mayor ya...
).
Creo que nadie ha mencionado que pueden utilizarse matrices para la resolución de ecuaciones. De hecho es el método utilizado por Matlab y programas similares. A partir de estas matrices y mediante el calculo de determinantes y trasponiendo términos se puede ir reduciendo hasta obtener la solución o las soluciones. Por otro lado tenemos el "método de Karnaud" (ahora mismo estoy dudando de si se escribía así, porque no lo encuentro por ninguna parte) para la simplificación de expresiones lógicas, la cual es utilizada por los compiladores para optimizar el código en algunos casos y que puede utilizarse para simplificar muchas operaciones y algoritmos. Creo que tengo los apuntes de la universidad aquí mismo, pero transcribirlo sería un pelín largo y hoy estoy vago.
