Este es el interpfilter de comandos 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
interpfilter - modelos de filtros con fórmulas
SINOPSIS
interpfiltro <fórmulas-archivo>compruébalo> <archivo de interpretaciones>>interpretaciones pasajeras
presentar>
DESCRIPCIÓN
Esta página de manual documenta brevemente la interpfiltro mando.
Dado un conjunto de fórmulas, compruébalo para realizar, y una corriente de interpretaciones, interpfiltro
emite las interpretaciones que pasan la prueba.
TESTS
Están disponibles las siguientes pruebas.
todo cierto
Todas las fórmulas son verdaderas en la interpretación dada.
algo_verdadero
Alguna fórmula verdadera en la interpretación dada.
todo_falso
Todas las fórmulas son falsas en la interpretación dada.
algo_falso
Alguna fórmula falsa en la interpretación dada.
Utilice interpfilter en línea utilizando los servicios de onworks.net
