Traducción al español por Andrés Adrover y Elena
Diez de la Cortina.
Abre la aplicación
en esta ventana - Volver
a página de lógica de Cibernous - Principal
-
La ventaja del procesador de servidor reside en que puede ser utilizado
cualquier navegador de su elección, aunque éste no soporte
java o gráficos. Además, la cantidad de datos que necesitan
ser transmitidos es relativamente pequeña y su ordenador no necesita
procesar ni realizar ningun cálculo. La desventaja reside en que
necesitas estar conectado a Internet mientras utilizas esta aplicación.
Actualmente, el Servidor lógico soporta las siguientes funciones:
- Tabla de verdad detallada- el servidor muestra la tabla de
verdad de la proposición registrada. Esta tabla de verdad contiene
una columna por cada conectiva. Se marca con asteriscos la columna que
representa resolución última de la proposición.
- Tabla de verdad (sólo resultados)- El servidor muestra
la tabla de verdad de la proposición completa.
- Optimización Quine-McCluskey- La proposición
es optimizada utilizando el método de de Quine/McCluskey.
- Comprobación de tautologías- El servidor verifica
si la proposición es una tautología, es decir, si es verdadera
sean cuales sean los valores de verdad de sus componentes.
- Árbol gráfico- El servidor muestra gráficamente
la estructura sintáctica de la proposición introducida.
Esta tarea requiere que su navegador pueda visualizar gráficos
(imágenes).
- Árbol textual- El servidor muestra la estructura sintáctica
de la proposición introducida.
- Árbol textual Alfa- El servidor muestra una gráfica
alfa representando la proposición introducida.
- Negación atómica- El servidor genera una proposición
equivalente en la cual sólo las variables son negadas.
- Forma normal disyuntiva (DNF)- El servidor muestra una forma
disyuntiva normal de la proposición introducida. Una DNF de una
proposición es una disyunción....
- DNF canónica-
- Prueba la proposición- Si la proposición introducida
es un teorema, el servidor hace una derivación de cálculo
natural de dicho teorema. Si no lo es, no lo hace.
- Eliminación del condicional- El servidor genera una
proposición equivalente que no contiene ningún condicional.
- Optimizar expresión- La proposición es optimizada
sintácticamente. Los resultados óptimos se obtienen cuando
la proposición es un DNF.
- Notación polaca- La proposición se convierte
a notación polaca.
© Christian
Gottschall / chris@logik.phl.univie.ac.at
Última revisión: 01.07.2000 a las
11:17
|