关于2-SAT这种情况的疑问
查看原帖
关于2-SAT这种情况的疑问
300078
pengyule楼主2022/7/8 17:01

image.png

请问这样的情况不会出现吗?为什么?

一旦出现,x和!x任选一个,就会导致无解和有解的区别。

2022/7/8 17:01
加载中...