Pipe-Logic 0.4.0

Modo Estudio: haz tú el ejercicio, y Pipe-Logic te guía.

• Casilla Modo Estudio junto a las pestañas (por voz: «modo estudio»). La primera línea es el ejercicio y debajo va lo tuyo; el botón de la herramienta de siempre ya no da la solución.
• Con solo el ejercicio, una pista para empezar, pensada para ese ejercicio (cuántas filas, de qué se parte en el tableau, qué regla de derivar hace falta…).
• Luego, a cada pulsación, el siguiente fallo con una pista para encontrarlo, nunca la solución; lo corriges y vuelves a pulsar, hasta el ¡Muy bien hecho!
• Lógica: tabla de verdad (casilla a casilla), tableau (cada regla, cada rama), árbol sintáctico, ¿satisfacible? (con una tabla por fórmula y una final), FNC, FND, leyes, y las de responder sí o no.
• Cálculo y álgebra, paso a paso: calcula, factoriza, simplifica, desarrolla, deriva, integra y resuelve (también sistemas, en una línea con «;»).
• Botones nuevos en la pestaña Lógica: tabla vacía (las letras con sus valores y las columnas por rellenar), bifurca y misma rama (dibujan las ramas del árbol o del tableau bajo el nodo del cursor; por voz, «dos ramas» y «misma rama»).
• «Resuelve» entiende un sistema en una línea, separado por «;». Repetir «Tabla de verdad» sustituye la tabla de antes en vez de añadir otra.

Para Linux y Windows. La app del móvil no cambia: es la misma de la 0.2.1.

APK SHA-256: 6bcde14f0f93af0e600f329c2271da8f13d5903318e1d84ef4350e8ec021ca2f

Pipe-Logic 0.3.0

De la lógica al código.

• A Código: convierte predicados lógicos en un programa. En # estructuras van tus tipos, listas y rangos; en # principal, qué es cada predicado y las fórmulas. ∀ sale como un bucle que lo mira todo y ∃ como un bucle que busca, y el programa dice por pantalla, en lenguaje natural, quién cumple y quién falla. Lenguajes: Python, C, C++, Java, JavaScript, C#, Go, Rust y pseudocódigo PSeInt (para aprender). Con «forma corta», all/any donde existe. Por voz: «código».
• Ejemplos: once lecciones, de menos a más, para aprender a escribir predicados que se traducen a código.
• Guardar Código: el último código como fichero listo para compilar (C#, como .zip con su proyecto).
• Deshacer y Rehacer (↶ ↷) en la barra; por voz, «rehacer».
• El cuadro de texto manda: más ancho, y su tamaño ya no cambia con el zoom ni con el teclado del móvil. En el ordenador, todo cabe sin desplazarse.

Para Linux y Windows. La app del móvil no cambia: es la misma de la 0.2.1.

APK SHA-256: 6bcde14f0f93af0e600f329c2271da8f13d5903318e1d84ef4350e8ec021ca2f

Pipe-Logic 0.2.6

Leyes: busca el mejor camino.

• Leyes (simplificar) ya no aplica las leyes solo en el primer sitio que encuentra: prueba todas las vías (todas las leyes en todos los sitios, con vuelta atrás) y se queda con la fórmula más corta y, a igualdad, con el camino de menos pasos. Nunca da un resultado peor que antes, y cada fórmula tarda como mucho medio segundo.

Para Linux y Windows. La app del móvil no cambia: es la misma de la 0.2.1.

APK SHA-256: 6bcde14f0f93af0e600f329c2271da8f13d5903318e1d84ef4350e8ec021ca2f

Pipe-Logic 0.2.5

Simplificar con las leyes, paso a paso.

• Leyes (simplificar): simplifica una fórmula con la tabla de equivalencias notables del libro (doble negación, idempotencia, identidad, absorción, complementación, dominación, distributiva, De Morgan, condicional y bicondicional), una línea por paso con el nombre de la ley, y comprueba por tabla que lo que queda es equivalente. Prueba varios caminos y se queda con el más corto; si las leyes no acortan la fórmula, lo dice. Por voz: «aplica leyes» o «hazlo simple».

Para Linux y Windows. La app del móvil no cambia: es la misma de la 0.2.1.

APK SHA-256: 6bcde14f0f93af0e600f329c2271da8f13d5903318e1d84ef4350e8ec021ca2f

Pipe-Logic 0.2.4

Tableaux, como en el libro.

• Tableau: con las fórmulas en líneas seguidas (Γ), dibuja el tableau con la notación del libro (4 ¬p [3]: número, fórmula y de qué nodo sale), marca cada rama como cerrada o abierta y da el veredicto: cerrado, insatisfacible; abierto, satisfacible, con la interpretación de cada rama abierta. Con una línea premisas ⊨ C decide la consecuencia lógica (⊨ X, si X es tautología), y con X ≡ Y, la equivalencia. Por voz: «árbol semántico», «tabla semántica» o «tablón».
• El árbol sintáctico y el tableau comparten el dibujo con / | \; con nodos lejanos, las ramas van con un tramo ___.

Para Linux y Windows (lo de Windows, aún sin probar a fondo). La app del móvil no cambia: es la misma de la 0.2.1.

APK SHA-256: 6bcde14f0f93af0e600f329c2271da8f13d5903318e1d84ef4350e8ec021ca2f

Pipe-Logic 0.2.3

Satisfacibilidad de un conjunto de fórmulas, interpretaciones verdaderas al clasificar, y árbol sintáctico dibujado de arriba abajo.

• ¿Satisfacible? (Γ): escribe las fórmulas en líneas seguidas, una por línea; son Γ = {X1, ..., Xn}. Dice si el conjunto es satisfacible y dibuja debajo una gráfica: una columna por fórmula con barras ## donde vale 1, y la columna Γ donde valen 1 todas a la vez. Si alguna línea no está bien formada, dice cuál y por qué. A la fórmula que no tiene todas las letras del conjunto se le dice cómo cuenta, p. ej. ¬q ∧ (p ∨ ¬p). Por voz: «comprueba conjunto».
• Clasificar: en una contingente, lista debajo las interpretaciones que la hacen verdadera; en una tautología dice «toda interpretación válida» y en una contradicción «ninguna interpretación válida».
• Árbol sintáctico (Analizar): de arriba abajo, con las ramas en / | \.

Para Linux y Windows (lo de Windows, aún sin probar a fondo). La app del móvil no cambia: es la misma de la 0.2.1.

APK SHA-256: 6bcde14f0f93af0e600f329c2271da8f13d5903318e1d84ef4350e8ec021ca2f

Pipe-Logic 0.2.2

Tablas de verdad que cuadran en cualquier editor, varias proposiciones en una tabla, y paréntesis que se cierran solos.

• Las tablas de verdad, en texto sencillo: se dibujan con |, - y +, y cada fórmula tiene su número encima, (1) p ∧ q. Así el .txt guardado queda alineado en cualquier editor. El árbol de «Analizar», igual.
• Varias proposiciones, una tabla: selecciona varias líneas (una proposición por línea) y «Tabla de verdad» hace una sola tabla con todas. Las que no están bien formadas se dejan fuera.
• Paréntesis abiertos: si al dictar se queda un paréntesis sin cerrar («seno de equis» sin «cierra paréntesis»), se cierra solo al final antes de calcular.

Para Linux y Windows (lo de Windows, aún sin probar a fondo). La app del móvil no cambia: es la misma de la 0.2.1.

APK SHA-256: 6bcde14f0f93af0e600f329c2271da8f13d5903318e1d84ef4350e8ec021ca2f

Pipe-Logic 0.2.1

Tablas de verdad bien alineadas, la página ordenada, y abrir y guardar en el móvil.

• Las tablas de verdad ya cuadran en cualquier aparato. Las líneas no se parten: si no caben a lo ancho, el cuadro se desliza. Y la página lleva su propia fuente monoespaciada (DejaVu Sans Mono), así que en el móvil cada símbolo mide lo mismo.
• La página, ordenada: arriba la voz (Escuchar), una barra con archivo y vista, las herramientas en tarjetas (Lógica, Álgebra, Cálculo) y los símbolos. En el móvil, las pestañas en una fila que se desliza.
• App del móvil: «Abrir .txt» y «Guardar .txt» trabajan con los archivos del móvil (antes, dentro de la app, no hacían nada). La primera vez apunta a 127.0.0.1 y, si no encuentra el ordenador, ofrece ir a Ajustes.

Para Linux y Windows (lo de Windows, aún sin probar a fondo). La app del móvil es una actualización: se instala encima de la anterior.

APK SHA-256: 6bcde14f0f93af0e600f329c2271da8f13d5903318e1d84ef4350e8ec021ca2f

Pipe-Logic 0.2.0

Paquete de instalación para Linux y Windows (con la app del móvil dentro), la app para Android y el manual en PDF (español e inglés). APK SHA-256: 49800c6094fa4c67b6f3f6bfd0b5130ffb1e242f0d20904283c0ff8953351297

Pipe-Logic 0.1.0

Paquete de instalación para Linux (con la app del móvil dentro), la app para Android y el manual en PDF (español e inglés). APK SHA-256: 49800c6094fa4c67b6f3f6bfd0b5130ffb1e242f0d20904283c0ff8953351297