逻辑覆盖

• PC：谓词覆盖predicate
• CC：子句覆盖clause
• CoC：组合覆盖  n个子句就会有2的n次方个真值组合
• ACC：有效子句覆盖 n个子句就会有n+1个真值组合
• GACC:general 广义有效子句覆盖 配对的主子句分别取T,F，主子句和P没必要非要取值相同。不必定知足PC
• CACC:correlate 相关有效子句覆盖 配对的主子句分别取T,F，主子句和P要取值相同。知足PC
• RACC:restrict 限制性有效子句覆盖 配对的主子句分别取T,F，主子句和P要取值相同，次子句取值要相同（惟真点-近假点对覆盖知足RACC）
• ICC:无效子句覆盖 inactive 主子句不决定p

 

minor clause次子句

 

析取范式

• 异或：同F，异T
• +：or
• 蕴涵项覆盖：IC implicants coverage 对于f与f否认的每一个蕴涵项取值必须为真。
• 惟真点覆盖：UTPC unique true point coverage 没重叠的圈（重叠部分为冗余的redundant）一个implicant为true，其余implicant为false。使得谓词p为true的极小赋值
• 近假点：NFP  对于哪点讨论，就对这个点取F，其余不变。全部implicant均为false，但改变某个implicant中的变量c则f改成true，即c独立影响f。
• 惟真点-近假点对覆盖：CUTPNFP 知足RACC
• 卡诺图：0为假，1为真。圈里面的数有2的n次方个。往大了圈。A+A的否认=1.不变的留下来

  • 卡诺图圈法

• 卡诺图蕴涵项impliants

•  
  重叠的部分就是冗余项，1100，1110

  惟真点是没重叠的黄色圈

  绿色为K-Map,黄色为各个项
   
   
   

 

　　惟真点UTP

 

惟真点-近假点对覆盖CUTPNFP

 

 

 

答案不惟一，

for b的UTP也能够是TTFF， 此时test sets最小能够6个，UTP2个，NFP4个

 

 

 

对于哪一个点分析，此时近假点NFP就是对这个点取假，其余点值不变