Este es el comprobador de cláusulas de comando que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
clausetester - comprobar fórmulas en modelos
SINOPSIS
probador de cláusulas <archivo de interpretaciones> <fórmulas-archivo>>archivo de fórmulas anotadas>
DESCRIPCIÓN
Esta página de manual documenta brevemente la probador de cláusulas mando.
Este programa toma un conjunto de interpretaciones y corriente de fórmulas. Para cada fórmula, el
Se muestran las interpretaciones en las que la fórmula es verdadera, y al final el número de
Se muestran fórmulas verdaderas en cada interpretación.
Utilice clausetester en línea utilizando los servicios de onworks.net