Extend the Datalog rules of this section to incorporate the type and subtype information, following the approach of Section 12.5. As a function of n, how many nodes are there in the most succinct BDD...

Extend the Datalog rules of this section to incorporate the type and subtype information, following the approach of Section 12.5.

As a function of n, how many nodes are there in the most succinct BDD that represents the exclusive-or function on n variables. That is, the function is true if an odd number of the n variables are true and false if an even number are true.