用真值表判断下列公式的类型:

对当前工作表，用函数求和公式计算管理人员的费用。

用真值表检验重言式与矛盾式需要针对所讨论的命题建立一个（)。A 重言式B 矛盾式C 真值列D 真值

用真值表判断下列公式的类型． （1)p→（p∨q∨r)． （2)￢（￢q∨p)∧p． （3)（p→

设个体域为整数集Z 确定下列各公式的真值. (1)(x2>0). (2)(x2=0). (3)(x2≥x). (4)(x2

用真值表判断下列公式的类型. (1)p→(p∨q∨r). (2)￢(￢q∨p)∧p. (3)(p→q)→(￢q→￢p). (4)(p∧r)￢(p∨q).

用真值表证明: