num15.2

#include <iostream>
using namespace std;

bool impl(bool a, bool b) {
    return !a || b;
}

bool F(int a, int x, int y) {
    return (impl((x <= 9), (x * x <= a)) && impl(y * y <= a, y <= 9));
}

int main() {
    int cnt = 1000, ans = 1, x;
    for (int a = 98; a < cnt; a++) {
        for (int y = 1; y < cnt; y++) {
            for (x = 1; x < cnt; x++) {
                if (F(a, x, y) == 0) {
                    break;
                }
            }
            if (F(a, x, y) == 0) {
                break;
            }

            else if (x == cnt && y == cnt - 1) {
                ans = a;
            }
        }
    }
    cout << ans;
    return 0;
}

/*Для какого наибольшего целого числа А формула



((x ≤ 9) →(x ⋅ x ≤ A)) ⋀ ((y ⋅ y ≤ A) → (y ≤ 9))



тождественно истинна, то есть принимает значение 1 при любых целых неотрицательных x и y?*/