sedes PATMOS'97 
Seventh International Workshop Program 
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.

Back to PATMOS '97 Program Home Page