Abstract/Description

This paper outlines two variations of Decision Digrams, the 2VBDD and 2VRMBDD. It outlines the background for BDD and RMBDD expanded with respect to one variable and the new 2V(RM)BDD when the expansion is with respect to two variables. Examples are realised using 2 variable nodes and implemented using Universal Logic Modules (ULM) and RM-ULMs. The resulting solutions are variable oder dependent. Lastly the total number of possible solutions is also outlined in this paper.