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

%I #7 Jan 30 2016 11:36:47

%S 0,1,10,236,65368,4294959715,18446744073701723262,

%T 340282366920938463463374605017086170458,

%U 115792089237316195423570985008687907853269984665640563983327146779225571732148

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

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

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

%Y Cf. A001146, A000372.

%K nonn

%O 0,3

%A _Ross La Haye_, Jan 25 2016