Tablas de verdad paso a paso: calculadora y ejercicios
Escribe una fórmula de lógica proposicional y la herramienta arma la tabla de verdad completa, muestra cómo se llega al valor de cada fila y dice si la fórmula es una tautología, una contradicción o una contingencia. Trae una guía para aprender las conectivas, ejercicios con corrección y un historial que se queda en tu dispositivo.
Para quién: Estudiantes que empiezan con la lógica proposicional, universitarios de ingeniería de sistemas y profesores que la enseñan.
Qué hace
Resolutor
Escribe la fórmula con el teclado de símbolos (¬ ∧ ∨ → ↔ y las variables p, q, r, s, t, u y x) o, desde el computador, con ~, &, |, -> y <->; cualquier otra letra, sin ñ ni tildes, se escribe con el teclado del dispositivo. Arma la tabla completa con hasta 12 variables (4096 filas), que, si es larga, se recorre por páginas o yendo a la fila que quieras, desglosa cada fila paso a paso y clasifica la fórmula, con cuántas filas dan verdadero. La tabla se descarga entera en Excel (.xlsx).
Aprender
Las cinco conectivas con su idea intuitiva, una regla rápida y su tabla; el método para resolver de adentro hacia afuera, tres comprobaciones para un examen, los cinco errores que más puntos cuestan y un glosario con buscador.
Practicar
Tres fuentes de ejercicios: cinco ejercicios guiados, retos aleatorios de 2 o 3 variables y la fórmula que tú escribas. Marcas V o F en cada fila y clasificas la fórmula; al comprobar, ves tus aciertos y la explicación paso a paso de cada fila equivocada. Hay pista y solución completa.
Historial
Guarda en tu dispositivo las fórmulas que tú eliges con «Guardar en historial», en el Resolutor. Puedes exportarlas a un archivo .json con una suma de comprobación que detecta si el archivo se dañó, importarlas con una vista previa antes de mezclarlas y borrarlas una a una o todas.
- Sin conexión
- Después de abrirla una vez con internet, sigue funcionando sin conexión.
- Instalable
- Se instala como aplicación en el celular o en el computador, si tu navegador lo permite.
- Sin cuentas
- No hay registro, correo ni contraseña: la abres y la usas.
- Sin enviar datos
- Todo se calcula en tu dispositivo: lo que escribes no se envía a ningún servidor.
Cómo se usa
- 01
Ábrela
Con el botón «Abrir la herramienta». No hay que registrarse y, si quieres, la instalas.
- 02
Escribe la fórmula
En «Resolutor», con el teclado de símbolos o tocando uno de los ejemplos.
- 03
Revisa cada fila
Arriba ves la clasificación. En «Paso a paso (Fila)» avanzas fila por fila y ves cómo se llega a cada valor; en «Tabla completa» las ves todas, por páginas si son muchas.
- 04
Practica
En «Practicar», marca V o F en cada fila, clasifica la fórmula y toca «Comprobar solución».
Para profesores
Cómo usarla en clase sin crear cuentas a nadie.
-
En clase
Proyecta el resolutor, escribe la fórmula del tema y recorre las filas con «Paso a paso (Fila)» o con la tabla completa.
-
Práctica sin cuentas
Comparte el enlace: cada estudiante la abre en su celular o computador y practica con los ejercicios guiados, un reto aleatorio o la fórmula que les dictes en «Fórmula libre».
-
Material
Descarga en Excel (.xlsx) la tabla de la fórmula que quieras, de hasta 12 variables, para preparar guías y talleres.
-
Nada que administrar
No hay cuentas, grupos ni notas: la herramienta no recoge datos de tus estudiantes. Cada uno guarda su historial en su dispositivo y puede exportarlo a un archivo .json.
Privacidad
- La herramienta se descarga desde su propio sitio en Firebase Hosting. Después, todo se calcula en el navegador de tu dispositivo: no tiene cuentas y lo que escribes no se envía a ningún servidor.
- Sin telemetría, sin cookies de terceros y sin analítica. Una prueba automática de la herramienta falla si la página le pide algo a otro sitio.
- El historial guarda únicamente las fórmulas que tú decides guardar, y lo hace en tu navegador (IndexedDB); lo borras cuando quieras desde «Historial».
- Esta página tampoco carga Google Analytics ni scripts de terceros.
Pruébala ahora
Se abre en el navegador, sin registro. Si la instalas, la tienes a un toque y sin conexión.
Abrir la herramienta (se abre en otra pestaña)Herramientas de apoyo al estudio: no otorgamos títulos ni certificados. Ver Shinacer Academy.
Un café para el equipo
Este apoyo es para adultos: docentes, familias o cualquiera que quiera ayudar. Si nuestras herramientas te han servido, puedes gastarle un café al equipo: transformamos café en código para mantener el servicio. Es voluntario, y las herramientas son y seguirán siendo gratis.
Llave Bre-B: @LTF477 (Nu; se envía desde cualquier banco o billetera con Bre-B)
Mercado Pago: link.mercadopago.com.co/
Mercado Pago tiene su propia política de privacidad.
Sugerencias:
- Un tinto · $3.000
- Un capuchino · $8.000
- Café para todo el equipo · $20.000
Las únicas vías oficiales son la llave @LTF477 y link.mercadopago.com.co/shinacer.
Si apoyas, nos llegan los datos de quien paga que muestren el banco, la billetera o Mercado Pago. Para qué los usamos, en la política de privacidad.