AND/OR Reasoning Graphs
This chapter develops a general view of the recursive learning procedure of Chapter 3 and presents a generalization of the technique. The main focus is on the basic search process underlying recursive learning. It is shown that the search process in recursive learning is a special instance of an AND/OR search. This leads to a basic reasoning scheme in Boolean networks based on AND/OR reasoning graphs. AND/OR reasoning graphs can identify implications and implicants in multi-level circuits so that basic concepts of two-level circuit theory can be extended and applied to multi-level circuits. This chapter elaborates properties of AND/OR reasoning graphs that are useful in solving design automation problems. Applications will be described in Chapters 5 and 6.
KeywordsBoolean Function Product Term Boolean Network Binary Decision Diagram Combinational Circuit
Unable to display preview. Download preview PDF.