%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