PATMOS'97  Seventh International Workshop Program  ARAMIS A.S.B.L. - UCL-DICE  Université Catholique de Louvain  Louvain-la-Neuve, Belgium September 8-10, 1997

12.4 " If-Diagrams: Theory and Application ",Anatoly PRIHOZHY

Abstract: This paper presents a novel algebra of logic that generalizes the traditional Boolean algebra for partial (incompletely specified) variables and functions and is efficiently used to solve a lot of theoretical and practical optimization problems. Based on the logic, novel operations (including a very useful minimization operation), laws, and expansions are introduced. The logic allows generalizations of the traditional Boolean function representation forms. One of the most important generalization for BDDs is If-Diagrams (IFDs). The paper presents operations on the IFDs and diagram application fields. The theore tical results are used in a software implemented on Prolog for an IBM PC platform.
pkp4@fpost.belpak.minsk.by