Метод резолюций в алгебре высказываний