#include using namespace std; typedef long long ll; #define F first #define S second #define pii pair #define eb emplace_back #define all(v) v.begin(), v.end() #define rep(i, n) for (int i = 0; i < n; ++i) #define rep3(i, l, n) for (int i = l; i < n; ++i) #define chmax(a, b) a = max(a, b) #define chmin(a, b) a = min(a, b) #define out(a) cout << a << endl #define SZ(v) (int)v.size() #define inf (int)(1e9+7) int main() { int n; cin >> n; int a[n + 1][1 << n]; rep(i, n + 1) rep(j, (1 << n)) cin >> a[i][j]; rep(j, (1 << n)) { if (a[n][j] == 0) break; if (j == (1 << n) - 1) { out("A=⊤"); return 0; } } rep(j, (1 << n)) { if (a[n][j] == 1) break; if (j == (1 << n) - 1) { out("A=⊥"); return 0; } } cout << "A="; int orflg = 0; rep(j, (1 << n)) { if (a[n][j] == 0) continue; orflg++; if (orflg > 1) cout << "∨"; cout << "("; rep(i, n) { if (i) cout << "∧"; if (a[i][j] == 1) { cout << "P_" << i + 1; } else { cout << "¬P_" << i + 1; } } cout << ")"; } }