邏輯覆蓋

• 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就是對這個點取假，其餘點值不變