Упрощение логических выражений