principalAyuda sobre las tareas del servidor


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