标签：3CNF SAT

2020-03-04半瓶木阅读(3279)评论(0)赞(0)

概念：-在3CNF SAT中, 你至少有3个子句, 而在子句中, 你将有几乎3个文字或常量 如（X + Y + Z）（X + Y + Z）（X + Y + Z）你可以定义为（XvYvZ）ᶺ（XvYvZ）ᶺ（XvYvZ）V = OR运算符^ ...