Este é o testador de cláusulas de comando 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 Windows online ou emulador MAC OS online
PROGRAMA:
NOME
clausetester - verificar fórmulas em modelos
SINOPSE
testador de cláusulas <arquivo de interpretações> <arquivo de fórmulas>>arquivo de fórmulas anotadas>
DESCRIÇÃO
Esta página de manual documenta resumidamente o testador de cláusulas comando.
Este programa leva um conjunto de interpretações e fluxo de formulas. Para cada fórmula, o
interpretações em que a fórmula é verdadeira são mostradas, e no final o número de
fórmulas verdadeiras em cada interpretação é mostrada.
Use clausetester online usando serviços onworks.net
