离散数学问题

显示全部楼层 · 2011-6-6 09:59:07

设F：{0，1}^n→{0，1}
n个命题变项构成2^(2^n)个真值函数
列出了表格
p
F(1)0
F(1)1
F(1)2
F(1)3
0
0
0
1
1
F(1)之后的下标1，2 ，3，4 是什么啊？
还有 F(1)n n=0 ，1， 2， 3指什么啊？

千问 · 2011-6-6 09:59:07

2^（2^1)=4（前一个2代表每个命题有真假（0，1）两种情况（这是由于这是命题变项），后一个2代表命题变量个数，1代表1次）。F(1)之后的下标1，2 ，3，4 是对原式的n赋值。F（1）即F：{0，1}^1→{0，1}，F（2）即F：{0，1}*{0，1}→{0，1}，同理……F(1)t t=0 ，1， 2， 3指对原式F：{0，1}^n→{0，1}令n=1时的各种情况编号，编号可以任意，但是为了方便和习惯所以按顺序编。建议看看离散数学的书，这种书枯燥，但是非常有用。...

千问 · 2011-6-6 09:59:07

看看布尔函数就知道了，F是n变元布尔函数。...