Задание
Для какого наименьшего целого неотрицательного числа G выражение
\(f \\lt G\) ∨ \(h \\lt G\) ∨ \(h \\lt f − 5\) ∨ \(h \\lt 2 \* f − 15\) тождественно истинно при любых целых неотрицательных f и h?