关键文字论文

关键文字和极小不可满足公式
论文摘要命题变元及其否定统称为文字，文字的析取称为子句，子句的合取称为合取范式（CNF公式）。如果存在一个赋值使得公式的值为1，则称该公式可满足；否则称该公式不可满足。判定一个...