Questo è il comando interpfilter che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
interpfilter - modelli di filtri con formule
SINOSSI
interpfiltro <file-formule>test> <file-interpretazioni> >interpretazioni-di passaggio-
filetto>
DESCRIZIONE
Questa pagina di manuale documenta brevemente il interpfiltro comando.
Dato un insieme di formule, un test per eseguire, e un flusso di interpretazioni, interpfiltro
emette le interpretazioni che superano il test.
PROVE
Sono disponibili i seguenti test.
tutto vero
Tutte le formule sono vere in una data interpretazione.
qualche_vero
Qualche formula vera in una data interpretazione.
tutto_falso
Tutte le formule false in una data interpretazione.
qualche_falso
Alcune formule false in una data interpretazione.
Utilizzare interpfilter online utilizzando i servizi onworks.net
