Lógica y Álgebra

Symbolab es un laboratorio de matemáticas en la web. Cuenta con múltiples menús que facilitan el acceso a una gran variedad de operaciones bien implementadas. 

Es por ello que se pueden resolver ejercicios en distintas áreas de las matemáticas de forma muy comprensible y desarrollada. 

Desarrollado por EqsQuest Ltd en 2.011, es un servicio en línea que calcula soluciones paso a paso a problemas matemáticos brindando ejemplos para su mayor comprensión.

En este capítulo, proponemos utilizar este recurso para la verificación de tablas de valores de verdad, equivalencias y simplificación de proposiciones compuestas.