#include <bits/stdc++.h> using namespace std; #define REP(i,a,n) for(int i=(a); i<(int)(n); i++) #define rep(i,n) REP(i,0,n) #define FOR(it,c) for(__typeof((c).begin()) it=(c).begin(); it!=(c).end(); ++it) #define ALLOF(c) (c).begin(), (c).end() typedef long long ll; typedef unsigned long long ull; int main(){ int N; cin >> N; int cnt = 0; vector<pair<int,vector<int>>> v; rep(i,(1<<N)){ vector<int> tmp; rep(j,N){ int a; cin >> a; tmp.push_back(a); } int b; cin >> b; v.emplace_back(b,tmp); cnt += b; } if(cnt == 0){ cout << "A=⊥" << endl; } else if(cnt == (1<<N)){ cout << "A=⊤" << endl; } else { cout << "A="; rep(i,v.size()){ if(v[i].first == 0) continue; cout << "("; int M = v[i].second.size(); rep(j,M){ if(v[i].second[j] == 1) cout << "P_" << j+1; else cout << "¬P_" << j+1; if(j != M-1) cout << "∧"; } cout << ")"; if(cnt != 1) cout << "∨"; cnt--; } cout << endl; } return 0; }