num15

#include <iostream>
using namespace std;

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

bool F(int a, int x) {
    return impl((x&25)!=0, impl((x&19) == 0, (x & a) != 0));
}

int main() {
    int cnt = 5000, ans = 1;
    for (int a = 1; a < cnt; a++) {
        for (int x = 1; x < cnt; x++) {
            if (F(a, x) == 0) {
                break;
            }
            else if (x == cnt - 1) {
                cout << a;
                exit(0);
            }
        }
    }
    return 0;
}
/*Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n.

Например, 14&5 = 11102&01012 = 01002 = 4.

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



x&25 ≠ 0 → (x&19 = 0 → x&А ≠ 0)



тождественно истинна (то есть принимает значение 1 при любом неотрицательном целом значении переменной х)?*/