Формулы и методы упрощения в алгебре логики