#include #include #include #include #include using namespace std; #define REP(i, n) for (int i = 0; i < (n); ++i) #define P(x) cout << (x) << "\n" #define D(x) cerr << (x) << "\n" #define fcout cout << fixed << setprecision(18) using i64 = long long int; // 10^18 int n; vector r; vector> q; int main() { ios::sync_with_stdio(false); cin.tie(0); cin >> n; REP(i, pow(2, n)) { vector v; REP(j, n + 1) { if (j == n) { bool rr; cin >> rr; r.push_back(rr); continue; } bool vv; cin >> vv; v.push_back(vv); } q.push_back(v); } int flag = 0; for (auto rr : r) { flag += rr; } if (flag == 0) { cout << "A=⊥" << endl; return 0; } if (flag == pow(2, n)) { cout << "A=⊤" << endl; return 0; } string s = "A="; for (int i = 0; i < (int)r.size(); ++i) { if (r[i] == 1) { string ss = "("; for (int j = 0; j < (int)q[i].size(); ++j) { ss += (q[i][j] == 0) ? "¬" : ""; ss += "P_"; ss += to_string(j + 1); if (j != (int)q[i].size() - 1) ss += "∧"; } ss += ")"; s += ss; s += "∨"; } } P(s.substr(0,(int)s.size()-1)); return 0; }