什么是真值表？它有何用途？

用真值表验证﹁p∧q→﹁q是否是有效式。 真值表是描述逻辑函数（）和（）对应关系的表格。 真值表是描述逻辑函数（）和（）对应关系的表格。   根据真值表方法，下列说法正确的有（ ） 分析的步骤，是由真值表求解逻辑表达式 卡诺图是真值表的另外一种排列方法（） 逻辑函数与真值表之间没有关系。（） 逻辑函数的真值表具有唯一性。()   用真值表来证明(p→q)←→(﹁q→﹁p)是永真式。 用真值表来证明﹁（p∧q）←→﹁p∨﹁q是永真式。 用真值表来验证(p∨﹁q)→(﹁p∧q)是否是有效式。 三变量的真值表输入有（ ）钟不同的取值 真值表不能用来判定蕴含于有效性。() 逻辑函数的表示方法有真值表、逻辑式和 通过异或门的真值表得到其逻辑关系。（5827）（） 真值表和卡诺图都是逻辑函数的表示形式（） 用真值表验证p├ p∨q是否为有效式。 用真值表来验证((p→q)∧p)├q是杏为有效式。 构造真值表，基于的逻辑算子规则不包括（）。 构造真值表时，不需要考虑简单命题的数量。