Логическое следование формул
Методы проверки тождественной истинности формул
Метод резолюций в алгебре высказываний