JK01WYX的博客

并且c为真时逻辑谓词为真，c为假时逻辑谓词为假（c决定了逻辑谓词取值），所以c是主子句。(b) p2 = b ∧ (a ^ c) ∧ (a ↔ c) (10分) (备注：在这个问题中，没有解释的答案是 0 分。(10分) (备注：在这个问题中，没有步骤(如：没有列出条件和条件对)的答案是0分。所以相关性有效子句覆盖的测试需求为：（5,13），（5,16），（8,13），（8,16），（b）其实上面中(5 , 13)和(8 , 16)就是限制性有效子句覆盖的测试需求。(a) 广义有效子句覆盖的测试需求。

这个课真阴间（），看这些好绕的概念——————