Cook–Levin theorem

تحويل مبرهنة كوك وليفين