Este é o comando interpfilter que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
interpfilter - modelos de filtro com fórmulas
SINOPSE
interpfiltro <arquivo de fórmulas>teste> <arquivo de interpretações>>passando-interpretações-
lima>
DESCRIÇÃO
Esta página de manual documenta resumidamente o interpfiltro comando.
Dado um conjunto de formulas, um teste para realizar, e um fluxo de interpretações, interpfiltro
produz as interpretações que passam no teste.
TESTES
Os seguintes testes estão disponíveis.
Tudo verdade
Todas as fórmulas são verdadeiras em uma dada interpretação.
alguma_verdadeira
Alguma fórmula verdadeira em dada interpretação.
tudo_falso
Todas as fórmulas são falsas em uma dada interpretação.
algum_falso
Alguma fórmula falsa em dada interpretação.
Use interpfilter online usando serviços onworks.net