#include<iostream>
#include<string>
#include<algorithm>
#include<vector>
#include<iomanip>
#include<math.h>
#include<complex>
#include<queue>
#include<deque>
#include<stack>
#include<map>
#include<set>
#include<bitset>
#include<functional>
#include<assert.h>
#include<numeric>
using namespace std;
#define REP(i,m,n) for(int i=(int)(m) ; i < (int) (n) ; ++i )
#define rep(i,n) REP(i,0,n)
typedef long long ll;
typedef pair<int,int> pint;
typedef pair<ll,int> pli;
const int inf=1e9+7;
const ll longinf=1LL<<60 ;
const ll mod=1e9+7 ;

int main(){
    int n;
    cin>>n;
    string ret="A=";
    int first=true;
    bool ok=true,ng=true;
    rep(i,(1<<n)){
        int a[n];
        rep(j,n)cin>>a[j];
        int ans;
        cin>>ans;
        if(ans){
            ng=false;
            if(!first)ret+="∨";
            first=false;
            ret+='(';
            rep(j,n){
                if(!a[j]){
                    ret+="¬";
                }
                ret+="P_";
                if(j<9)ret+=(char)'1'+j;
                if(j==9)ret+="10";
                if(j==10)ret+="11";
                if(j==11)ret+="12";
                if(j!=n-1)ret+="∧";
            }
            ret+=")";
        }
        else ok=false;
    }
    int m=ret.size();
    if(ng){
        cout<<"A=⊥"<<endl;
        return 0;
    }
    if(ok){
        cout<<"A=⊤"<<endl;
        return 0;
    }
    cout<<ret<<endl;
    return 0;
}