Преобразование логических выражений (ФИПИ)

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