Задача прийняття рішень про те чи є змінні даної булевої формули (висловлювання) приймати такі значення, що формула буде розрахована як істина називається задачею здійсненності булевих формул, і є дуже вадливою для теоретичної інформатики, що є першою задачею для якої було показано, що вона має складність NP-повної задачі. Тісно пов'язана з цим модель обчислення, що відома як співвідносить часову складність (алгоритму) із .