Algum bom simplificador de expressão booleana por aí? [fechadas]

110

Eu estava refatorando um código antigo e encontrei várias condições IF que eram muito complexas e longas e tenho certeza de que podem ser simplificadas. Meu palpite é que essas condições cresceram muito por causa de modificações posteriores.

De qualquer forma, gostaria de saber se algum de vocês conhece um bom simplificador online que eu possa usar. Não estou interessado em nenhuma linguagem específica, apenas um simplificador que levaria por exemplo:

((A OU B) E (! B E C) OU C)

E me dê uma versão simplificada da expressão, se houver.

Eu olhei para outras questões semelhantes, mas nenhuma me aponta para um bom simplificador.

Obrigado.

mojarras
fonte
1
WolframAlpha também chega C . Sem portas extras ...
Axel Kemper,
1
Há uma boa ferramenta online - tma.main.jp/logic/index_en.html
Roman Hocke
Outra ferramenta é o boolean-algebra.com que mostrará os passos para resolvê-lo. Por exemplo, o seu pode ser resolvido apenas com a lei de absorção A + AB = A. Não é muito avançada, portanto, se você precisar de algo diferente da forma mínima, é melhor usar outro site.
John Smith

Respostas:

93

Você pode experimentar o Wolfram Alpha como neste exemplo com base em sua entrada:

http://www.wolframalpha.com/input/?i=((A%20OR%20B)%20AND%20(NOT%20B%20AND%20C)%20OR%20C)&t=crmtb01&f=rc

500 - Erro interno do servidor
fonte
3
O site não parece bom para simplificar as fórmulas booleanas quando elas ficam um pouco mais complexas. Experimente este: (((NÃO C) E (NÃO A)) OU ((NÃO B) E (NÃO C) E (NÃO D) E (NÃO A)) OU ((NÃO B) E (NÃO C) E D E A) OU (B E C E (NÃO D) E (NÃO A)) OU (B E C E D E A))
Albert Hendriks
1
De fato. Estranho. Ele até vomita na versão simplificada NOT C AND NOT A OR NOT B AND NOT C AND NOT D AND NOT A OR NOT B AND NOT C AND D AND A OR B AND C AND NOT D AND NOT A OR B AND C AND D AND A.
500 - Erro interno do servidor de
2
Observe que se você deseja a tabela verdade, que nem sempre é gerada para algumas expressões, inicie a consulta com as palavras "tabela verdade" seguidas pela expressão
Belgi
16

O Try Logic Friday 1It inclui ferramentas da Universidade da Califórnia (Espresso e misII) e as torna utilizáveis ​​com uma GUI. Você pode inserir equações booleanas e tabelas de verdade conforme desejado. Ele também possui uma entrada e saída de diagrama gráfico de portas.

A minimização pode ser realizada em dois níveis ou multinível. A forma de dois níveis produz uma soma minimizada de produtos. A forma multinível cria um circuito composto de portas lógicas. Os tipos de portas podem ser restringidos pelo usuário.

Sua expressão é simplificada para C.

Axel Kemper
fonte
2
Para uma ferramenta online rápida, isso é realmente útil: tma.main.jp/logic/index_en.html
Lenar Hoyt
6

Descobri que o Boolean Expression Reducer é muito mais fácil de usar do que o Logic Friday. Além disso, não requer instalação e é multiplataforma (Java).

Também no Logic Friday, a expressão A | Bretorna apenas 3 entradas na tabela verdade; Eu esperava 4.

Pawel Dubiel
fonte
3
Ative a opção "Truthtable / Show all Rows" no Logic Friday 1. Caso contrário, você só obterá todas as linhas com valor de saída 1.
Axel Kemper
1
Internamente, o bexpred está usando algoritmos simples para mesclar mintermos. Pode ser útil para pequenas expressões, mas definitivamente não é o estado da arte.
Axel Kemper
2
Para "A * B * (! A * B +! A *! B)", este jar retorna SOP False, mas POS True. Script não exatamente confiável ...
Evil
link está quebrado, quem tem um link funcionando?
HJLebbink