问题标题:
离散数学N元真值函数问题设F:{0,1}^n→{0,1}n个命题变项构成2^(2^n)个真值函数列出了表格pF(1)0F(1)1F(1)2F(1)300011F(1)之后的下标1,2,3,4还有F(1)nn=0,1,2,3
问题描述:
离散数学N元真值函数问题
设F:{0,1}^n→{0,1}
n个命题变项构成2^(2^n)个真值函数
列出了表格
pF(1)0F(1)1F(1)2F(1)3
00011
F(1)之后的下标1,2,3,4
还有F(1)nn=0,1,2,3
刘高升回答:
我学过真值函数,但没有你说的这么复杂.
你要想探讨,请告诉我:
1、这个表格是什么?
2、p是什么?
3、F(1)是什么?
刘高升回答:
我有两个疑问:1、既然是n元真值函数,就会有n个变元,怎么会只有1个p?2、从F的定义可以看出,F就是一个n元函数,通常应在其后面的括号内按顺序,列出所有自变量(可以变量符号,也可以是具体取值),或直接省略所有变量及括号(只写F)。为什么本题的F后面的括号中只有1个1?所以,我对符号“F(1)0“的含义有以下猜测:1、临时符号:有可能这只是作者临时构造的一个符号,只是为了解释某一个题目。虽然这种可能性不大,但如果真是这样,那这符号的含义只能从原题中获得解释了。2、专用数学符号:如果这是有严格定义的数学符号,我们应该从教材中获取解释。我不是数学专业的,没有学过这种符号,所以无法给你实质性帮助。如果楼主想听听我的意见的话,倒是可以谈谈。我猜测,F(1)0是“一元”函数F0在自变量取值为1时的函数值。而“一元”函数F0是一个与“n元”函数F相关的函数。并且这种从“n元”到“一元”的转化应该依赖于变元p——p原来是F的n个变量之一,现在是F0的唯一变量。至于F(1)1、F(1)2、F(1)3…则分别是一元函数F1、F2、F3在p=1时的函数值,F1、F2、F3则分别是对F0做进一步转化得到的函数。以上纯属猜测,真正的含义最好查看教材或请教真明白的人。不过你要想进一步与我探讨,还请告诉我你这题目是从哪儿找的,或许有帮助。
点击显示
数学推荐
热门数学推荐