Раздел 14-15. Упрощение выражений