Changes between Version 10 and Version 11 of CaoCourseTme6


Ignore:
Timestamp:
Apr 2, 2008, 3:44:22 PM (17 years ago)
Author:
alain
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • CaoCourseTme6

    v10 v11  
    128128ou encore               G = a . b . c’
    129129
    130 Dans la suite de cet exercice, on cherche à écrire une fonction C qui construit automatiquement le ROBDD représentant une fonction G satisfaisant une fronction F quelconque. Comme il existe plusieurs solutions, on choisira la systématiquement la solution qui minimise le nombre de variable xi dans le support de G.
     130Dans la suite de cet exercice, on cherche à construire automatiquement le ROBDD représentant une fonction G satisfaisant une fronction F quelconque. Comme il existe plusieurs solutions, on choisira la systématiquement la solution qui minimise le nombre de variable xi dans le support de G.
    131131{{{
    132132bdd_t *satisfy_bdd(bdd_t *p)