Logic Solver (truth tables) 1.2

Licença: Avaliação gratuita ‎Tamanho do arquivo: 108.00 MB
‎Classificação dos usuários: 5.0/5 - ‎1 ‎Votos

Este programa mostra tabelas da verdade, você digita uma proposta com as letras que você prefere, por exemplo: PvQ^R ou Av~B, e o programa mostra a tabela da verdade. Este programa também ajuda você a simplificar proposições mostrando-lhe uma lista de equivalências lógicas posibles.

história da versão

  • Versão 1.2 postado em 2012-06-10
    Várias correções e atualizações
  • Versão 1.2 postado em 2012-06-10

Detalhes do programa