decision_trees Computes a decision tree with the smallest number of nodes of a given Boolean function. Complexity 3^n if there are 2^n arguments to the function. See the example in the file foo.pdf!