Преобразование логических выражений (ФИПИ)
Группа задач на преобразование логических выражений, где требуется найти наименьшее значение параметра, при котором выражение становится тождественно истинным для всех целых неотрицательных значений переменных.