SAT问题的NPC证明

- - - - - - - -