{"id":27998626,"url":"https://github.com/686f6c61/algebra-logica","last_synced_at":"2026-05-11T01:27:00.496Z","repository":{"id":266148015,"uuid":"895772861","full_name":"686f6c61/algebra-logica","owner":"686f6c61","description":"Generador de tablas de verdad hasta 6 variables y exportador de tablas con teoría incluida. ","archived":false,"fork":false,"pushed_at":"2025-05-04T19:36:55.000Z","size":668,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-05-08T22:54:22.589Z","etag":null,"topics":["algebra","grado","logical-operators","tyoescript","university","vite"],"latest_commit_sha":null,"homepage":"","language":"JavaScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/686f6c61.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2024-11-28T21:52:12.000Z","updated_at":"2025-05-04T19:36:58.000Z","dependencies_parsed_at":null,"dependency_job_id":"d971f805-a929-4609-9407-cf0c788a39ad","html_url":"https://github.com/686f6c61/algebra-logica","commit_stats":null,"previous_names":["686f6c61/tablas-verdad-react-typescript"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/686f6c61%2Falgebra-logica","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/686f6c61%2Falgebra-logica/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/686f6c61%2Falgebra-logica/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/686f6c61%2Falgebra-logica/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/686f6c61","download_url":"https://codeload.github.com/686f6c61/algebra-logica/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":253160814,"owners_count":21863625,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["algebra","grado","logical-operators","tyoescript","university","vite"],"created_at":"2025-05-08T22:54:25.191Z","updated_at":"2026-05-11T01:27:00.481Z","avatar_url":"https://github.com/686f6c61.png","language":"JavaScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Asignatura Álgebra - v2\n\nUna aplicación web educativa completa para el aprendizaje de Lógica Proposicional, incluyendo tablas de verdad, formas normales, árboles sintácticos y circuitos lógicos. Perfecta para estudiantes y profesores.\n\n![Página principal](img/index.png \"Página principal\")\n\n## Novedades en la versión 2 (Mayo 2025)\n\n- **Sección teórica completa con 9 apartados**\n  - Fundamentos de lógica proposicional\n  - Operadores lógicos\n  - Tablas de verdad\n  - Equivalencia lógica\n  - Propiedades lógicas\n  - Formas normales (FNC y FND)\n  - Árboles de análisis sintáctico (NUEVO!)\n  - Circuitos lógicos (NUEVO!)\n  - Ejemplos y ejercicios prácticos interactivos (NUEVO!)\n  \n  ![Sección de teoría](img/teoría.png \"Sección teórica con índice navegable\")\n\n- **Árboles de Análisis Sintáctico** (Nueva funcionalidad)\n  - Visualización de la estructura jerárquica de expresiones\n  - Representación gráfica de operadores y subexpresiones\n  - Ejemplos predefinidos para facilitar el aprendizaje\n  - Explicación del proceso de evaluación a través del árbol\n  \n  ![Arboles de Análisis Sintáctico](img/arboles.png \"Visualización de árboles sintácticos\")\n\n- **Circuitos Lógicos** (Nueva funcionalidad)\n  - Conversión de expresiones a representaciones de circuitos\n  - Visualización gráfica de compuertas y conexiones\n  - Simulación del comportamiento con diferentes entradas\n  - Explicación de la relación entre expresiones y circuitos\n  \n  ![Circuitos Lógicos](img/circuitos.png \"Simulación de circuitos lógicos\")\n\n- **Formas Normales** (Nueva funcionalidad)\n  - Conversión automática a Forma Normal Conjuntiva (FNC)\n  - Conversión automática a Forma Normal Disyuntiva (FND)\n  - Explicación paso a paso del proceso de conversión\n  - Ejemplos predefinidos para facilitar el aprendizaje\n  \n  ![Formas Normales](img/Formas%20Normales.png \"Conversión a FNC y FND\")\n\n- **Sistema de navegación mejorado**\n  - Índice interactivo para la sección de teoría\n  - Enlaces directos entre teoría y herramientas prácticas\n  - Acceso rápido a todas las funcionalidades desde la página principal\n  - Estructura coherente y fácil de navegar\n\n- **Ejercicios prácticos interactivos**\n  - Ejercicios para todas las áreas de la lógica proposicional\n  - Pasos detallados para resolver cada ejercicio\n  - Enlaces directos a las herramientas correspondientes\n  - Ejemplos prácticos para reforzar conceptos teóricos\n \n\n\n## Características anteriores mejoradas\n\n- **Editor de expresiones lógicas**\n  - Interfaz intuitiva para construir expresiones\n  - Soporte para 6 variables (p, q, r, x, y, z)\n  - Validación en tiempo real de la expresión\n  - Operadores lógicos completos (AND, OR, NOT, NAND, NOR, XOR, XNOR, Implicación)\n\n- **Generación de tablas de verdad**\n  - Generación automática basada en la expresión\n  - Visualización clara y ordenada\n  - Evaluación en tiempo real\n  - Soporte para expresiones complejas con paréntesis\n  \n  ![Tablas de Verdad](img/tablas%20de%20verdad.png \"Generación de tablas de verdad\")\n\n- **Evaluador de propiedades lógicas**\n  - Detección automática de tautologías, contradicciones y contingencias\n  - Análisis de equivalencia entre expresiones\n  - Resultados detallados con explicaciones\n  \n  ![Análisis de Propiedades](img/propiedades%20logicas.png \"Evaluación de propiedades lógicas\")\n\n- **Exportación de resultados**\n  - Exportación a PDF con formato profesional\n  - Exportación a TXT para análisis posterior\n  - Inclusión de metadatos y fecha de generación\n\n## Tecnologías utilizadas\n\n- React 18.3\n- Vite 6.0\n- Tailwind CSS 3.4\n- JavaScript (ES6+)\n- jsPDF 3.0 (para exportación PDF)\n- React Router DOM 6.30\n\n## Instalación\n\n```bash\n# Clonar el repositorio\ngit clone https://github.com/686f6c61/algebra-logica.git\n\n# Instalar dependencias\nnpm install\n\n# Iniciar el servidor de desarrollo\nnpm run dev\n```\n\n## Guía de uso\n\n### 1. Aprendizaje Teórico\n\n- **Explorar la sección de teoría**\n   - Accede desde la página principal o la barra de navegación\n   - Navega por las 9 secciones teóricas usando el índice interactivo\n   - Explora desde fundamentos básicos hasta conceptos avanzados\n\n- **Estudiar ejemplos y ejercicios**\n   - Revisa los ejemplos prácticos en la sección 9 de la teoría\n   - Utiliza los enlaces directos para acceder a las herramientas relacionadas\n   - Prueba resolver los ejercicios propuestos para cada tema\n\n### 2. Tablas de Verdad\n\n- **Crear una expresión lógica**\n   - Utiliza el editor de expresiones con sus botones interactivos\n   - Selecciona variables, operadores y paréntesis\n   - La expresión se valida automáticamente en tiempo real\n\n- **Generar y analizar la tabla**\n   - Presiona \"Generar tabla de verdad\"\n   - Visualiza todos los casos posibles y los resultados\n   - Identifica patrones y condiciones específicas\n\n- **Exportar resultados**\n   - Elige entre formato PDF o TXT\n   - Los archivos incluyen la expresión y todos los resultados\n\n### 3. Análisis de Propiedades\n\n- **Verificar propiedades lógicas**\n   - Introduce una o dos expresiones para comparar\n   - Analiza si son tautologías, contradicciones o contingencias\n   - Comprueba si dos expresiones son lógicamente equivalentes\n   \n- **Interpretar resultados**\n   - Revisa las tablas generadas para cada expresión\n   - Observa la columna final que muestra la evaluación completa\n   - Lee el análisis automático de propiedades\n\n### 4. Formas Normales\n\n- **Convertir expresiones a formas normales**\n   - Introduce una expresión lógica\n   - Genera su Forma Normal Conjuntiva (FNC)\n   - Genera su Forma Normal Disyuntiva (FND)\n   \n- **Analizar el proceso de conversión**\n   - Observa los pasos detallados de la transformación\n   - Visualiza la tabla de verdad equivalente\n   - Compara las formas resultantes con la expresión original\n\n### 5. Árboles de Análisis Sintáctico\n\n- **Generar árboles sintácticos**\n   - Introduce una expresión o selecciona un ejemplo predefinido\n   - Visualiza la estructura jerárquica de la expresión\n   - Identifica el operador principal y las subexpresiones\n   \n- **Interpretar los árboles**\n   - Observa cómo se organizan los operadores por precedencia\n   - Entiende el orden de evaluación de la expresión\n   - Utiliza el árbol para seguir el proceso de evaluación paso a paso\n\n### 6. Circuitos Lógicos\n\n- **Diseñar circuitos a partir de expresiones**\n   - Introduce una expresión lógica\n   - Visualiza su representación como circuito digital\n   - Observa la disposición de compuertas lógicas\n   \n- **Simular comportamiento del circuito**\n   - Configura diferentes valores para las entradas\n   - Observa cómo se propagan los valores a través del circuito\n   - Analiza la tabla de verdad equivalente y su salida final\n\n## Operadores disponibles\n\n| Símbolo | Nombre      | Descripción                                        |\n|---------|-------------|---------------------------------------------------|\n| ∧       | AND         | Verdadero solo si ambos operandos son verdaderos  |\n| ∨       | OR          | Verdadero si al menos un operando es verdadero    |\n| ¬       | NOT         | Invierte el valor de verdad                       |\n| ⊼       | NAND        | Negación del AND                                  |\n| ⊽       | NOR         | Negación del OR                                   |\n| ⊕       | XOR         | Verdadero si los operandos son diferentes         |\n| ↔       | XNOR        | Verdadero si los operandos son iguales           |\n| →       | Implicación | Falso solo si el antecedente es V y consecuente F |\n\n## Contribuir\n\nLas contribuciones son bienvenidas. Por favor, abre un issue primero para discutir los cambios que te gustaría realizar.\n\n## Licencia\n\nMIT License - ver el archivo [LICENSE.md](LICENSE.md) para más detalles.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2F686f6c61%2Falgebra-logica","html_url":"https://awesome.ecosyste.ms/projects/github.com%2F686f6c61%2Falgebra-logica","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2F686f6c61%2Falgebra-logica/lists"}