Формулы упрощения выражений