simplification de formules boolennes par la méthode des consensus

Question

bonjour

je recherche une impl&#233;mentation (ou partie) en C de la simplification
de formules bool&#233;nnes par la m&#233;thode des consensus, &#224; savoir :



On it&#232;re :

    - g&#233;n&#233;ration des consensus : en gros, aX + (non)a Y donne XY

    - loi d'absorption : aX + X donne X

--> Jusqu'&#224; &#224; point fixe (la formule ne change plus)



c'est la gal&#232;re et je patauge

merci bcp d'avance :)

ShareVB · Answer

salut,

j'ai une source en C++ qui utilise la m&#233;thode de Quine et Mac Clusky, mais j'ai mal con&#231;u les interfaces...et ce n'est pas comment&#233;...je ne sais pas si je mettrais le code sur cppfrance.com...et en plus, je me suis arr&#234;t&#233; &#224; la liste des impliquants...j'avais con&#231;u tous les algos (jusqu'au recouvrement) mais je n'ai pas tout impl&#233;ment&#233;...

ShareVB

cs_zarzar · Answer

merci mais justement j'ai d&#233;j&#224; une impl&#233;mentation de QMC et je dois en faire une avec les consensus

je mets les mains ds le camboui, allez.... :)

merci qd meme

ShareVB · Answer

salut,


c'est presque pareil...
j'opterais pour un tableau avec les impliquants (ou mintermes suivants le cas) &#224; n colonnes pour les n variables : 1 litt&#233;ral, 0 compl&#233;ment, 2 indiff&#233;rent...

partant de l&#224;, en deux &#233;tapes &#224; recommencer n fois si n variables:
  - recherches des consensus : test de de chaque &#233;l&#233;ment avec ceux qui suivent, ajout des consensus (dans la m&#234;me liste ou &#224; part)...
 - recherches des absorptions, et suppression des impliquants absorb&#233;s, regroupement des deux listes

enfin, c'est curieux d'utiliser l'algo des consensus parce que mon prof a dit que QMC est la meilleur m&#233;thode et la plus facile &#224; programmer...

ShareVB

cupidme7 · Answer

Bonjour , 
Moi auusi j'ai un projet &#224; faire sur la simplification d'une fonction bool&#233;ene &#224; l'aide
du th&#233;oreme de consensus. Je suis arriv&#233;e &#224; faire ab+a'c=ab+a'c+bc ... 
mais j'arive pas &#224; trouver l'algorithme d'absorption (ou d'inclusion du consensus dans 
le monome &#224; simplifier )  a+ab=a ... 
Est ce possible de me donner une id&#233;e???!!!

Merci

Simplification de formules boolennes par la méthode des consensus

4 réponses

Votre réponse

Discussions similaires