Electruth

uma coleção de ferramentas lógicas booleanas
Baixe Agora

Electruth Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • GPL
  • Nome do editor:
  • Niels Serup
  • Site do editor:
  • http://metanohi.org

Electruth Tag


Electruth Descrição

Uma coleção de ferramentas lógicas booleanas Electruth é uma coleção de ferramentas lógicas booleanas. Pode ser usado como uma ferramenta de linha de comando e uma biblioteca Python. Entende a álgebra booleana (até certo ponto) e pode ser usada para simplificar expressões booleanas usando o método Quine-McClusky.Electruth pode ser útil se você tiver uma tabela de verdade necessitada de encurtamento básico. Elétrico também pode ser usado para comparar expressões booleanas, que podem ser muito úteis se você precisar comparar uma tabela de verdade com um esquema criado com base naquela tabela de verdade. Electruth também pode ser usado para "destruir" expressões booleanas complexas em mais simples, consistindo apenas de Ands, Ors e Nots.installingway # 1just executá-lo (requer que você tenha Python-setuptols instalado): sudo easy_install Electruthway # 2Get a versão mais recente do Electruth em http://metanohi.org/projects/electruth/ ou em http://pypi.python.org/pypi/electruthextract o arquivo baixado e executar isso em um terminal: python setup.py installusinginstalling electruth instala um utilitário de linha de comando electruth nomeado. Este programa tem muitas configurações, e é recomendável executar o Electruth --help para obter uma visão geral deles. O programa cria expressões booleanas de qualquer entrada que você dá. Se você der mais de uma entrada, ele comparará as duas entradas (a menos que se você disser que não faça isso). Muitas entradas são suportadas: * Expressões booleanas básicas (por exemplo, A e (B ou C) ou A * (B + C) (as mesmas)) * Trusttables, usando a guia separada (.TSV) ou separada por vírgula (.csv) Valores em um arquivo, a primeira linha especificando os nomes das entradas e saídas com um


Electruth Software Relacionado

Slepc.

Biblioteca escalável para cálculos de problemas de eigenvalue ...

157

Download

Pyudt.

wrapper python para biblioteca de transferência de dados baseada em UDP (UDT) ...

190

Download

pybfc.

Uma biblioteca Python que inclui gráficos de dependência ou dicionário de atributos ...

64

Download