0,5

An antichain on a set is a T_0-antichain if for every two distinct points of the set there exists a member of the antichain containing one but not the other point. T_1-hypergraph is a hypergraph which for every ordered pair (u,v) of distinct nodes has a hyperedge containing u but not v.

V. Jovovic and G. Kilibarda, On the number of Boolean functions in the Post classes F^{mu}_8, Diskretnaya Matematika, 11 (1999), no. 4, 127-138 (translated in Discrete Mathematics and Applications, 9, (1999), no. 6)

V. Jovovic, G. Kilibarda, On enumeration of the class of all monotone Boolean functions, in preparation.

a(n)=C(64, n) - 30*C(48, n) + 120*C(40, n) + 60*C(36, n) + 60*C(34, n) - 12*C(33, n) - 345*C(32, n) - 720*C(30, n) + 810*C(28, n) + 120*C(27, n) + 480*C(26, n) + 360*C(25, n) - 480*C(24, n) - 720*C(23, n) - 240*C(22, n) - 540*C(21, n) + 1380*C(20, n) + 750*C(19, n) + 60*C(18, n) - 210*C(17, n) - 1535*C(16, ) - 1820*C(15, n) + 2250*C(14, n) + 1800*C(13, n) - 2820*C(12, n) + 300*C(11, n) + 2040*C(10, n) + 340*C(9, n) - 1815*C(8, n) + 510*C(7, n) - 1350*C(6, n) + 1350*C(5, n) + 274*C(4, n) - 548*C(3, n) + 120*C(2, n).

Cf. A059048, A059050-A059052.

Sequence in context: A127849 A050984 A087216 this_sequence A056071 A137749 A007741

Adjacent sequences: A059046 A059047 A059048 this_sequence A059050 A059051 A059052

fini,nonn

Vladeta Jovovic, Goran Kilibarda (vladeta(AT)Eunet.yu), Dec 19 2000