Maximum number of distinct functions at the bottom of a Boolean (or Binary) Decision Diagram (or BDD) with negation by pointer complementation.

A040996

Maximum number of distinct functions at the bottom of a Boolean (or Binary) Decision Diagram (or BDD) with negation by pointer complementation.

Terms

    a(0) =1a(1) =6a(2) =120a(3) =32640a(4) =2147450880

External references