如何证明SAT问题可以规约到3SAT问题

本文为OpenDSA项目，允许转载，证书

我看到了一个幻灯片，相当的容易理解。地址在这里，相当清晰易懂的讲解了如何把一个规范的SAT问题（布尔可满足性问题）转换成3SAT问题。

这样的形式实在是非常的好，我觉得以后我也可以做一个网站像这样来展示我的观点，甚至可以把一些结果给直接做出来，伪装成命令行的形式。