📜  门| GATE-CS-2015(Set 1)|第65章

📅  最后修改于: 2021-06-29 17:41:32             🧑  作者: Mango

考虑操作
f(X,Y,Z)= X’YZ + XY’+ Y’Z’和g(X,Y,Z)= X’YZ + X’YZ’+ XY
以下哪一项是正确的?
(A) {f}和{g}在功能上都是完整的
(B)仅{f}在功能上完整
(C)仅{g}在功能上完整
(D) {f}和{g}在功能上均不完整答案: (B)
说明:如果某个功能不属于以下类别的T0,T1,L,M,S,则该函数被视为功能完整:

属性1:我们说布尔函数f保留零,如果在0输入上它产生0。0输入是指这样的输入,其中每个输入变量都是0(此输入通常对应于f的第一行真相表)。我们将保零布尔函数的类表示为T0并写f∈T0。

属性2:类似于T0,我们说布尔函数f保留一个,如果在1输入上,它会产生1。1输入是所有输入变量均为1的输入(此输入通常对应于最后一行)真相表)。我们将一维布尔函数的类别表示为T1并写f∈T1。

属性3:如果满足以下两个条件之一,则布尔函数f是线性的:

  • 对于f的每个1值,相应输入中的1的数目为奇数,对于f的每个0值,相应输入中的1的数目为偶数。

或者

  • 对于f的每个1值,对应的输入中的1的数目为偶数,而对于f的每个0值,对应的输入中的1的数目为奇数。

如果这些陈述之一对f成立,我们就说f是linear1。我们用L表示线性布尔函数的类,并写f∈L。

属性4:如果对于每个输入,将任何输入变量从0切换到1只能导致该函数将其值从0切换到1,而从不将1切换到0,则布尔函数f是单调的。 M的单调布尔函数,写f∈M。

性质5:我们说布尔函数f(x1,…,xn)是自对偶的,如果f(x1,…,xn)=¬f(¬x1,…,xn)。

上面的等式(带负号的那个)右边的函数称为f的对偶。我们将调用自对偶布尔函数S的类,并写f∈S。

在我们的例子中,我们可以看到将所有i / p都设为0(g)会产生0,因此它保留0并且在功能上是不完整的。

但是f既不保留0也不保留1。

  • F不是线性的(请参见上面的线性定义)
  • F不是单调的(请参见上面单调的定义)
  • F不是自对偶,因为f(x,y,z)不等于–f(-x,-y,-z)

因此f在功能上是完整的。

因此ans是(B)部分
这个问题的测验