Este es el filtro de cláusula 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
clausefilter - fórmulas de filtrado con modelos
SINOPSIS
filtro de cláusula <archivo de interpretaciones>compruébalo> <fórmulas-archivo>>paso-fórmulas-archivo>
DESCRIPCIÓN
Esta página de manual documenta brevemente la filtro de cláusula mando.
Dado un conjunto de interpretaciones, compruébalo para realizar, y una corriente de fórmulas, filtro de cláusula
genera las fórmulas que pasan la prueba.
TESTS
Están disponibles las siguientes pruebas.
verdadero_en_todo
Fórmula verdadera en todas las interpretaciones.
cierto_en_algunos
Fórmula verdadera en alguna interpretación.
falso_en_todo
Fórmula falsa en todas las interpretaciones.
falso_en_algunos
Fórmula falsa en alguna interpretación.
Utilice clausefilter en línea utilizando los servicios de onworks.net
