1473

FF. Readers interested in these The 1 sink can only be reached by following the edges labeled 1 from A and B; thus, the represented Boolean function (A, B) evaluates to true if and only if A and B are true. The characteristic function can be identified with the set itself. It seems worthwhile to spend some effort on finding a "good" encoding, which is where the preprocessing of The corresponding BDDs are illustrated in figure 2. Bin We were able to reformulate the initial and final situations as BDDs. As an end in itself, this representation does not help too much. We are interested in a sequence of actions (or transitions) that transforms an initial state into one that satisfies the goal condition.