| SE547: BDDs: Binary Decision Diagrams [9/22] | |
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
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?