login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A001320 Number of self-complementary Boolean functions of n variables: see Comments for precise definition.
(Formerly M2982 N1204)
1
1, 3, 14, 240, 63488, 4227858432, 18302628885633695744, 338953138925153547590470800371487866880, 115565932813024562229384322928592814283244066726840484812818018414147674308608 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,2
COMMENTS
Number of self-complementary equivalence classes under the group C_{2^n} of all 2^n complementations of variables. - R. J. Mathar, Apr 14 2010
The next term (a(10)) has 155 digits. - Harvey P. Dale, Jul 27 2011
REFERENCES
M. A. Harrison, The number of equivalence classes of Boolean functions under groups containing negation, IEEE Trans. Electron. Comput. 12 (1963), 559-561.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
LINKS
M. A. Harrison, The number of equivalence classes of Boolean functions under groups containing negation, IEEE Trans. Electron. Comput. 12 (1963), 559-561. [Annotated scanned copy]
FORMULA
a(n) = 2^(2^(n-1)) * (2^n-1) / 2^n. - Zerinvary Lajos, Oct 24 2006, corrected by R. J. Mathar, Apr 14 2010
a(n) = A016031(n)*A000079(n-1). - R. J. Mathar, Apr 14 2010
MAPLE
a:=n->sum(((fermat(n)-1))/2^(j+1), j=0..n): seq(a(n), n=0..8); # Zerinvary Lajos, Oct 24 2006
MATHEMATICA
Table[2^(2^(n-1))(2^n-1)/2^n, {n, 10}] (* Harvey P. Dale, Jul 27 2011 *)
CROSSREFS
Cf. A000610.
Sequence in context: A288563 A081383 A351139 * A133028 A144985 A168590
KEYWORD
nonn,easy,nice
AUTHOR
EXTENSIONS
More terms from Vladeta Jovovic, Feb 23 2000
STATUS
approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 29 00:26 EDT 2024. Contains 371264 sequences. (Running on oeis4.)