關於「明確可滿足性問題」（Unambiguous-SAT）自然範圍的註記

本文探討了「明確可滿足性問題」中，布林公式的自然範圍，特別是在精確合取範式 (PCNF) 下，以子句數量定義其界限，並提出判定部分 PCNF 公式不可滿足性的方法。