anallogica

- AnallogicA Software para crear tablas de verdad

Henry Suarez
skilltik@gmail.com
Año 2010

Proyecto de POO de la carrera de Ingeniería
Informática de la Universidad Nacional del Litoral.en

Módulos del programa

Este modulo contiene los símbolos y variables que admite
el programa.
• Paréntesis.
• Operador de negación '-'.
• Conjunción o Producto Lógico, representado por elsímbolo '&'.
• Disjuncion o Suma Lógica, representado por el
símbolo '||'.
• Disjuncion exclusiva,representado por '@'.
• Implicación o Condicional, representado por el
símbolo '=>'.
•Bicondicional o Equivalencia, representado por el
símbolo ''.
• Las variables lógicas están representadas por todas
las letras minúsculas del abecedario.

• El primer elemento se habilita al cargararchivos
binarios que contienen 2 o mas sentencias lógicas.
• En el siguiente campo se ingresan las sentencias
lógicas a analizar.
• El botón “Hacer” realiza el análisis lógico y
muestra el resultado.• El botón “Borrar” limpia el campo de texto donde se
ingresan las sentencias lógicas.

• En esta grilla se visualiza la tabla lógica como
resultado del análisis.

• En el primer campo sevisualizan las modificaciones
paso a paso que realiza el algoritmo al analizar la
sentencia y los reemplazos que realiza.
• El segundo campo, contiene estadísticas tales como:
◦ Resultado, puede ser:▪ Tautología: Si la ultima columna presenta solo
valores verdaderos.
▪ Contradicción: Si la ultima columna presenta
solo valores Falsos.
▪ Contingencia:
Si
no
es
Tautología
nicontradicción.
◦ Cantidad
de
operadores
binarios,
estos
son
(&,||,@,=>,).
◦ Cantidad de operadores unarios, el único posible
es el negador.
◦ Cantidad de variables lógicas utilizadas.
◦ Cantidad decombinaciones, esto es 2n, donde 'n' es
la cantidad de variables lógicas utilizadas.
En el caso de errores, se presenta un informe de
errores, que pueden ser:
◦ Errores de Sintaxis: causas posibles...