%I M1712 N0677#54 2023年10月30日13:25:11

%S 1,2,6,4019921866662412813206169137152，

%电话：33758171486592987164087845043830784，

%电话：14359138050262425049520068688794604238349049914948818373264705576411070464

%N N个或更少变量的开关函数的P-等价类数除以2。

%C也是n集的非空子集的非同构集的数目。

%等价地，n个集合的维恩图的非同构填充数_Joerg Arndt_，2020年3月24日

%C n个未标记节点上的超图数。-_Charles R Greathouse IV_，2021年4月6日

%D M.A.Harrison，切换与自动机理论导论。纽约州麦格劳希尔，1965年，第153页。

%D S.Muroga，阈值逻辑及其应用。纽约州威利市，1971年，第38页，表2.3.2.-第5行。

%D N.J.A.Sloane，《整数序列手册》，学术出版社，1973年（包括该序列）。

%D N.J.A.Sloane和Simon Plouffe，《整数序列百科全书》，学术出版社，1995年（包括该序列）。

%H Alois P.Heinz，n表，n=0..12</a>

%H M.A.Harrison，<A href=“http://dx.doi.org/10.109/PGEC.1963.263656“>包含否定的群下布尔函数等价类的数目，IEEE Trans.Electron.Compute.12（1963），559-561。

%H M.A.Harrison，含否定群下布尔函数等价类的个数，IEEE Trans。电子。计算。12 (1963), 559-561. [带注释的扫描副本]

%H Geon Lee、Seokbum Yoon、Jihoon Ko、Hyunju Kim和Kijung Shin，<a href=“https://arxiv.org/abs/2301.15668“>Hypergraph Motifs及其超越二进制的扩展</a>，arXiv:2310.15668[cs.SI]，2023。

%H维基百科，<a href=“https://en.wikipedia.org/wiki/Venn_diagram“>维恩图</a>

%H<a href=“/index/Bo#Boolean”>为布尔函数相关序列的索引项</a>

%F a（n）=A003180（n）/2。

%a（2）=6集合系统的非同构表示是0，{1}，{12}，}{2}，f1}{12}，{1{2}，{10}{2{12}_Gus Wiseman_，2018年8月7日

%pa:=n->加（1/（p->mul（（c->j^c*c！）（系数（p，x，j）），j=1..度（p）））(

%p加（x^i，i=l））*2^（（w->add（mul（2^igcd（t，l[i]），i=1..nops（l）），

%p t=1..w）/w）（ilcm（l[]）），l=组合[分区]（n））/2:

%p序列（a（n），n=0..9）；#_Alois P.Heinz，2019年8月12日

%t系统规范[{}]：={}；sysnorm[m_]：=如果[Union@@m！=范围[Max@@Flatten[m]]，sysnorm[m/.Rule@@@表[{（Union@@m）[[i]]，i}，{i，长度[Union@m]}]]，第一个[Sort[sysnormal[m，1]]]；sysnorm[m_，aft_]：=If[Length[Union@@m]<=aft，{m}，With[{mx=Table[Count[m，i，{2}]，{i，Select[Union@@m，#>=aft&]}]}，Union@@（sysnorm[#，aft+1]&/@Union[Table[Map[Sort，m/.{par+aft-1->aft，aft-1}，{0,1}]，}，[par，First/@Position[mx，Max[mx]}]]）]]；]；

%t表[长度[Union[sysnorm/@Subsets[Rest[Subsets[范围[n]]]]，{n，4}]（*_Gus Wiseman_，2018年8月7日*）

%t a[n_]：=总和[1/函数[p，乘积[Function[c，j^c*c！][系数[p，x，j]]，{j，1，指数[p，x]}]][Total[x^l]]*2^（函数[w，总和[Product[2^GCD[t，l[i]]]，}i，1，Length[l]}]，{t，1，w}]/w][如果[l=={}，1，LCM@l]]），{l，整数分区[n]}]/2；

%t a/@Range[0,9]（*_Jean-François Alcover_，2020年2月4日，在_Alois P.Heinz_*之后）

%Y a（n）=A003180（n）/2。

%Y参见A007716、A055621、A058891、A283877、A300913、A306005、A317533、A317757。

%K nonn，简单，好，核心

%0、2

%A _N.J.A.斯隆_

%E更多条款，来自_弗拉德塔·乔沃维奇_，2000年2月23日