Как решать второе задание на ЕГЭ через программирование?

#include <iostream>
using namespace std;
int fn(int w, int x, int y, int z) {
return x && !y && (!z || w);
}
bool equal(int* a, int* b, int n) {
for (int i = 0; i < n; ++i) if (a[i] != b[i]) return false;
return true;
}
int main() {
const int n = 4, m = 3;
int a[n][m] = {
{ 1, 1, 1 },
{ 0, 0, 0 },
{ 0, 1, 1 },
{ 0, 0, 1 }
};
int b[n][m];
int i = 0;
for (int w = 0; w <= 1; ++w) {
for (int x = 0; x <= 1; ++x) {
for (int y = 0; y <= 1; ++y) {
for (int z = 0; z <= 1; ++z) {
int v = fn(w, x, y, z);
if (v) {
int row[] = { w, x, y, z };
for (int j = 0; j < n; ++j) b[j][i] = row[j];
++i;
}
}
}
}
}
char title[] = { 'w', 'x', 'y', 'z' };
for (i = 0; i < n; ++i) {
for (int j = 0; j < n; ++j) {
if (equal(a[i], b[j], m)) {
cout.put(title[j]);
}
}
}
puts("");
system("pause > nul");
}

Подбором. Расставлять буквы как-нибудь и считать формулу. Сошлись все строки - значит порядок верный

4 цикла - в каждом каждая переменная меняется в пределах 0 и 1
Внутри 4го цикла проверять выполняется ли условие
Как только выполняется, вы определили значения каждой переменной
В соответствии с таблицей расставляете буквы в первой строке