A268080 Difference between total number of Boolean functions of n variables and total number of monotonic Boolean functions of n variables.

0, 1, 10, 236, 65368, 4294959715, 18446744073701723262, 340282366920938463463374605017086170458, 115792089237316195423570985008687907853269984665640563983327146779225571732148

Offset

0,3

Links

Table of n, a(n) for n=0..8.

Formula

a(n) = 2^(2^n) - (n-th Dedekind number).

a(n) = A001146(n) - A000372(n).

Crossrefs

Cf. A001146, A000372.

Sequence in context: A295410 A188679 A167867 * A396567 A096331 A159497

Adjacent sequences: A268077 A268078 A268079 * A268081 A268082 A268083

Keyword

nonn

Author

Ross La Haye, Jan 25 2016

Status

approved