SE547: BDDs: Binary Decision Diagrams [9/22] Previous pageContentsNext page

A better shot; use:

s t, u     read as `if s then t else u'

Convert to If-then-else Normal Form (INF).

What is INF?

What is the INF for the following:

x y z

We can draw INFs as binary decision trees. What is a decision tree? What is the decision tree for this formula?

Decision trees are still not acceptable: why not?

Previous pageContentsNext page