Discussion :

[bitou]

Bonjour,

Je suis a la recheche d'une API java me permettant de traiter des expressions booléenne. Plus précisément,j 'ai besoin de transformer une CNF ( conjunctive normal form) en DNF ( disjunctive normal form).
Si quelqu'un a deja vu quelque chose qui pourrait marcher, je suis preneur.

merci

[orelero]

http://functologic.com/orbital/

dans ClassicalLogic.Utilities tu trouveras

conjunctiveForm(Formula f)
Transforms into conjunctive normal form (CNF).

en esperant que ça t'aidera