Как проверить выполнимость формулы логики: теоретические основы