Pawlogic - Licença B Pawlogic é um programa para manipular expressões booleanas. O programa lida com os dois ...
Baixe Agora

Pawlogic - Licença B Classificação e resumo

Pawlogic - Licença B Tag

boleano Conversor booleano. Polinômios booleanos

Pawlogic - Licença B Descrição

O Pawlogic é um programa para manipular expressões booleanas. O O programa lida com ambas as expressões em lógica proposicional e quantificada fórmulas booleanas (QBF). A lógica é amplamente usada hoje. Forma a base da matemática métodos de prova. É usado em verificação formal como modelo simbólico Verificação e verificação de equivalência de combinacional e sequencial circuitos. Lógica também está atrás de configuradores de produtos e a construção de controles remotos e interseções de semáforo. E lógica é algo que todos nós usamos diariamente. Por exemplo, a maioria de nós aceita prontamente o Após o raciocínio: "Se chover, fico molhado. Chove. Assim, eu Fique molhado. "Esta é lógica aplicada. O Pawlogic permite que você trabalhe e experimente a lógica. Se você é um estudante de lógica, você recebe uma ferramenta valiosa para ajudá-lo em seu estudos. Se você é um profissional que trabalha com a lógica, você recebe um Sempre o programa de lógica dessista para você usar se no escritório, em casa ou em movimento. E se você está apenas interessado no mundo de Lógica, aqui está sua chance de obter experiência prática. Pawlogic trabalha sob PalmOS 2.0 e superior. Copyright © 2000. Poul F. Williams. Todos os direitos reservados. Visite a página da Web Paweng para mais informações. Temos um manual disponível online incluindo várias capturas de tela.

Pawlogic - Licença B Software Relacionado