cook定理是什么呀

cook定律是什么呀
np完全问题证明中cook定律是什么呀
[解决办法]
布尔表达式的可满足性SAT是NP完全的