Логические выражения и их упрощение