如果结果不匹配，请 
更多“用等值演算法判断下列公式的类型,对不是重言式的可满足式。再用…”相关的问题
第2题
分别用真值表法和等值演算法求下面命题公式的主析取范式与主合取范式，判断各公式的类型，并写出其相应的成真赋值和成假赋值。 （1)P®（Q®R)。 （2)（P®（Q∨R))∧（ØP∨（Q«R))。
第4题
用主析取范式判断下列各组公式是否等值． （1)p→（q→r)与q→（p→r)． （2)（p→q)→r与（p∧q)→r．
用主析取范式判断下列各组公式是否等值．
(1)p→(q→r)与q→(p→r)．
(2)(p→q)→r与(p∧q)→r．
第7题
下列各项中，属于集团项目组确定对组成部分财务信息拟执行工作的类型以及参与组成部分注册会计师工作的程度的影响因素的有（)。
A.识别出的导致集团财务报表发生重大错报的特别风险
B.对集团层面控制的设计的评价，以及其是否得到执行的判断
C.集团项目组对组成部分注册会计师的了解
D.组成部分的重要程度
第8题
对于集团财务报表审计，下列各项因素中,集团项目组在确定对组成部分财务信息拟执行的工作类型以及参与组成部分注册会计师工作的程度时，需考虑的因素有（)。
A.组成部分的重要程度
B.是否识别出导致集团财务报表发生重大错报的特别风险
C.集团项目组对组成部分注册会计师的了解
D.对集团层面控制的设计的评价,以及其是否得到执行的判断
