標籤: Cook-Levin Theorem

[latexpage]首先需要一個問題叫做布林公式(Boolean formula)會像：\[\phi = (\bar{x} \wedge y) \vee (x \wedge \bar{z})\]裡面的每一個符號稱作variable，每一個variable可以給0或1的值就像在做.