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.