Toute bonne expression booléenne simplifier là-bas?

J'ai été refactoring de code ancien et rencontré plusieurs, SI les conditions qui ont été beaucoup trop complexe et long et je suis certains qu'ils peuvent être simplifiés. Ma conjecture est que ces conditions a tellement augmenté en raison de modifications ultérieures.

De toute façon, je me demandais si l'un de vous connais un bon en ligne simplifier je peux utiliser. Je ne suis pas intéressé dans n'importe quelle langue particulière, juste un simplifier ce serait prendre pour exemple:

((A OU B) ET (!B ET C) OU C)

Et de me donner une version simplifiée de l'expression, le cas échéant.

J'ai regardé les autres questions similaires, mais aucun point de me une bonne simplifier.

Grâce.

InformationsquelleAutor mojarras | 2013-02-15