离散数学问题

Question

设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 指什么啊？

Answer 1

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时的各种情况编号，编号可以任意，但是为了方便和习惯所以按顺序编。

建议看看离散数学的书，这种书枯燥，但是非常有用。

Answer 2

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