登录
这个网站是通过捐款来支持的。OEIS基金会.

 

标志


提示
问候整数序列的在线百科全书!)
A000 3183 n个或更少个变量的布尔函数的NPN等价类数。
(原M0814)
1, 2, 3、6, 17, 112、8282 列表图表参考文献历史文本内部格式
抵消

0、2

评论

不等价的数(在置换组和变量的倒数下)n个变量的单调布尔函数。

给定f,n个变量的函数,我们定义了“变量的倒数”,i,(If)(x1,…,xn)=1 +f(1 +x1,…,1 +xn)(我们可以写(If)(x)=1 +f(1 +x),其中第二个“1”表示(1,…,1))。结果表明,如果F是单调的,则IF也是单调的。另一方面,n元素的置换,p,(f)(x)=f(p(x))作用于f。结果表明,如果F是单调的,那么PF也是单调的。我们定义P.I(P.I)(f)=p(If)和I.(i)(f)=I(P.f)。如果我们用(a,b).f=a(b.f)来定义g的a,b元素,则证明g= {p.i,p:p是n个元素}的置换是一个群。在这种情况下,如果存在B(G的元素),使得B.F=G,则F和G是等价的。

推荐信

S. Muroga,阈值逻辑及其应用。威利,NY,1971,第38页,表2.3.2。第18行。

S.N.J.A.斯隆和Simon Plouffe,《整数序列百科全书》,学术出版社,1995(包括这个序列)。

链接

n,a(n)n=0…6的表。

S. Muroga门限逻辑及其应用,威利,NY,1971 [注释几页的扫描]

与布尔函数相关的序列的索引条目

例子

A(2)=3,因为M(x,y)=x,n(x,y)=y,k(x,y)=0,h(x,y)=1,f(x,y)=Xy,g(x,y)=x+y+xy是2个或更少变量的六个单调布尔函数;m和n是等价的,k和h是等价的,f和g是等价的。然后,我们有3个不等价单调布尔函数的2个或更少的变量。

交叉裁判

囊性纤维变性。A60608A12597A000 6602.

语境中的顺序:A12939 A32 1399 A16974*A213616 A131788 A24445

相邻序列:A000 3180 A000 3181 A000 3182*A000 3184 A000 3185 A000 3186

关键词

诺恩更多

作者

斯隆.

扩展

来自Alan Veliz Cuba(Alnavc(AT)V.EDU)的附加评论,6月18日2006

地位

经核准的

查找γ欢迎γ维基γ注册γ音乐γ情节2γ演示γ指数γ浏览γ更多γ网络摄像机
贡献新的SEQ。或评论γ格式γ样式表γ变换γ超级导引头γ最近
OEIS社区通过保持OEIS基金会

许可协议、使用条款、隐私政策。.

最后修改10月15日10:46 EDT 2019。包含328026个序列。(在OEIS4上运行)