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