SAT问题

《实验二SAT问题 》实验报告题目SAT问题 姓名及分工日期2012/11/23问题描述SAT问题也称为合取范式的可满足问题，一个合取范式形如：A1∧A2∧…∧An，子句Ai（1≤i≤n）形如：a1∨