%I A109456
%S A109456 0,1,1,2,3,7,21,135,2470,319124,1214554343
%N A109456 Number of Boolean functions of n variables that are self-dual and regular.
%C A109456 Or, number of self-dual 2-monotonic Boolean functions of n or fewer variables.
%C A109456 Agrees with A001532 for n <= 8 but then diverges.
%C A109456 The value for n=10 was calculated with BDD techniques; all solutions 
               are characterized by a binary decision diagram with 30011986 nodes.
%D A109456 D. E. Knuth, The Art of Computer Programming, Vol. 4, Section 7.1.1 (in 
               preparation).
%D A109456 S. Muroga, T. Tsuboi and C. R. Baugh, Enumeration of threshold functions 
               of eight variables, IEEE Trans. Computers, 19 (1970), 818-825.
%Y A109456 Sequence in context: A002863 A047693 A001532 this_sequence A155745 A067738 
               A053966
%Y A109456 Adjacent sequences: A109453 A109454 A109455 this_sequence A109457 A109458 
               A109459
%K A109456 nonn
%O A109456 0,4
%A A109456 D. E. Knuth, Aug 17 2005
%E A109456 a(10) from Don Knuth (knuth-bug(AT)cs.stanford.edu), Feb 06 2008