num15.1

#include <iostream>
using namespace std;

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

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

int main() {
    int cnt = 10000, 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) {
                ans = a;
            }
        }
    }
    cout << ans;
    return 0;
}
/*
Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n.

Так, например, 12&6 = 11002&01102 = 01002 = 4.

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



х&А → (x&10 = 0 → х&3)



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