26.n个命题变元组成的命题公式,有( )种真值情况 A．n B．n^2 C．2^n D．2n 选那个呢

对n个命题变元任何任何一种指派（共2^n种指派）,命题都有一个
确定的真值时,该命题为一个真值函数
然而对任一种指派,命题可有T或F两种真值
对2^n种指派,有两种结果可供选择,由乘法原理知
共有真值函数个数为2*2*2*…*2（共2^n个）=2^(2^n)

一个个命题公式称为合取范式仅当具有形式 :
A1∧A2.An （n≥1）
其中An 都是由命题变元或其否定组成的析取式.
这里A1,A2,..,An称为析取项(或简单析取式),n可取1,n=1时,Ak化为单个变元或单个变元否定,也即单个变元或单个变元否定均可看成析取项(简单析取式),同理单个变元或单个变元否定也均可看成合取项(简单合取式).
如 P∧(P∨┐Q∨R)∧（┐p∨Q),P∧Q∧(P∨┐Q)均是合取范式.
P∨(P∧┐Q∧R)∨（┐p∧Q),P∨Q∨(P∧┐Q)均是析取范式.

16

是 2^n 个指派.事实上,每个命题变元有 0 和 1 共 2 个指派,n 个命题变元就有 2^n 个指派.

1.3.1命题演算的合式公式规定为：
（1）单个命题变元本身是一个合式公式.
（2）如果A是合式公式,那么┐A是合式公式.
（3）如果A和B是合式公式,那么（A∨B）、（A∧B）、（A→B）、（ADB）、都是合式公式.
（4）当且仅当有限次地应用（1）（2）（3）所得到的包含命题变元,连接词和圆括号的符号串是合式公式.
1.3.2 设Ai是公式A的一部分,且Ai是一个合式公式,称Ai是A的子公式.
1.3.3 设P为一命题公式,P1,P2,……,Pn为出现在P中的所有命题变元,对P1,P2,……,Pn指定一组真值称为对P的一种指派.若指定的一种指派,使P的值为真,则称这组指派为成真指派.若指定的一种指派,使P的值为假,则称这种指派为成假指派.
含n个命题变元的命题公式,共有2n个指派.
1.3.4 给定两个命题公式A和B,设P1,P2,……,Pn为所有出现于A和B中的原子变元,若给P1,P2,……,Pn任一组真值指派,A和B的真值都相同,称A和B是等价的,记做A B.
1.3.5 设A为一命题公式,若A在它的各种指派情况下,其取值均为真,则称A为重言式或永真式.
1.3.6 设A为一命题公式,若A在它的各种指派情况下,其取值均为假,则称A为矛盾式或永假式.
1.3.7设A为一命题公式,若A在它的各种指派情况下至少存在一组成真指派,则称A为可满足式.
1.4.1 设X式合式公式A的子公式,若有Y也是一个合式公式,且XY,如果将A中的X用Y置换,得到公式B,则AB.
1.4.2 设A,B为两个命题公式,AB,当且仅当A ←→B为一个重言式.
P=>Q称做P蕴含Q或蕴含式,又称永真条件式.
蕴含式有下列性质：
（1）对任意公式A,又A=>A；
（2）对任意公式A,B和C,若A=>B,B=>C,则A=>C；
（3）对任意公式A,B和C,若A=>B,A=>C,则A=>(B∧C);
（4）对任意公式A,B和C,若A=>C,B=>C,则A∨B=>C.
1.4.3设P,Q为任意两个命题公式,PQ的充分必要条件式P=>Q,Q=>P

2个命题变元可生成2×2=4种赋值,每一种赋值下的命题公式的真值可以是0也可以是1,这样就有了2×2×2×2=16种不等价的命题公式.

这样才是变量能计算。我不懂别乱说。