Bonjour à tous !
Je suis en train de développer un programme permettant de convertir une formule logique en DNF, et de préférence en une DNF la plus simple possible.
Une des simplifications possible est la subsumptionA vue de nez, le genre de données que je vais utiliser va vite me générer des clauses gigantesques mais dans lesquelles il y aura beaucoup de simplifications de ce genre à faire.
Code : Sélectionner tout - Visualiser dans une fenêtre à part (A ou (A et B) = A
J'ai bossé sur l'algo général de ma conversion en DNF, c'est prêt, il me manque la détection et la simplifications des subsumption et la je planche.
J'aimerai éviter une comparaison 2 à 2 de toutes mes conjonctions, mais j'ai pas beaucoup d'idée sur comment faire autrement, donc si quelqu'un maitrise le sujet et peu me filer un coup de pouce, je lui en serait grandement reconnaissant ! ^^
Evidemment vu que j'ai replongé dans la logique il n'y a pas si longtemps, il y a de fortes chances que je soit pas claire du tout, si c'est le cas hésitez pas à le signaler.
Merci d'avance
Partager