摘要 |
<P>L'invention est relative à un procédé d'élaboration automatique, dans une zone mémoire d'un appareil de traitement de données, d'une représentation implicite des impliquants premiers d'une fonction booléenne, à l'aide de cet appareil. <BR/> Une fonction booléenne est représentée, dans une autre zone mémoire de cet appareil, sous la forme d'un diagramme de décision binaire (f) de cette fonction. La représentation implicite est obtenue à partir du diagramme de décision, en effectuant des parcours récursifs au travers de ce diagramme pour déterminer des éléments intermédiaires ensuite combinés entre eux suite à chaque récursion. Chaque élément intermédiaire utilise des variables d'occurence (O1 , ..., On ) et des variables de signe (S1 , ..., Sn ). Des moyens sont mis en œuvre pour obtenir des éléments intermédiaires normalisés lors de leur élaboration, réduisant ainsi la consommation de mémoire, et des moyens pour combiner entre eux les éléments intermédiaires après leur normalisation.</P>
|