Простые правила упрощения логических выражений