U&H∨U&H¯¯¯ упростить выражение

Код на C++:

#include <iostream>

using namespace std;

int main()

{

   setlocale(LC_ALL, "rus");

   int f1 = 0;

   int f2 = 1;

   int f3 = 1;

   int A, count = 0;

   do

   {

       cin >> A;

   } while (A < 2 || A > 2 * pow(10, 9));

       

   while (true)

   {

       count++;

       if (f3 == A)

       {

           cout << count << endl;

           break;

       }

       else if (f3 != A && f3 > A)

       {

           cout << -1 << endl;

           break;

       }

       f3 = f1 + f2;

       f1 = f2;

       f2 = f3;

   };

   

   return 0;

}

Объяснение:

1) Если x^3 < 10, то (x+1)^3 > 20. Это верно при x = 2. 
2^3 < 10, 3^3 > 20
2) Если x(x+1) > 10, то (x+1)(x+2) < 10. Это верно при x = -4
(-4)(-3) = 12 > 10; (-3)(-2) = 6 < 10 
Но при x = 2 будет ложная посылка (2*3 > 10 - это ложно),
из которой следует ложный вывод 3*4 < 10.
Поэтому импликация верна. ответ x = 2
3) Если x(x+1)(x+2) > 25, то x < x-1
Это сложнее. x < x-1 - ложно при любом х.
Импликация будет истинной, только если посылка ложная.
x(x+1)(x+2) > 25 - должно быть ложно. Это при x = 2.
x(x+1)(x+2) = 2*3*4 = 24.