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

Author

Ross La Haye, Jan 25 2016

Keywords

• nonn

Crossrefs

Cf. A001146, A000372.

Formula

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

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