#include <cstdio>
#include <cstdlib>
#include <cmath>
#include <climits>
#include <cassert>
#include <iostream>
#include <iomanip>
#include <string>
#include <stack>
#include <queue>
#include <vector>
#include <map>
#include <set>
#include <algorithm>
#include <numeric>
#include <bitset>

#define all(c) c.begin(), c.end()
#define rall(c) c.rbegin(), c.rend()
#define debug(x) cerr << #x << ": " << x << endl

using namespace std;

typedef long long ll;
typedef pair<ll, ll> Pll;
typedef pair<int, int> Pii;

const ll MOD = 1000000007;
const long double EPS = 1e-10;
const int dyx[4][2] = {
    { 0, 1}, {-1, 0}, {0,-1}, {1, 0}
};

int main() {
    int n;
    cin >> n;

    vector<string> q;
    bool top = true, bottom = true;
    for(int i=0;i<(1<<n);++i) {
        int ps[n+1], r;
        for(int j=0;j<n;++j) cin >> ps[j];
        cin >> r;
        if(r == 0) {
            top = false;
            continue;
        }
        bottom = false;
        q.push_back("");
        for(int j=0;j<n;++j) {
            if(j) q.back() += "∧";
            if(!ps[j]) {
                q.back() += "¬";
            }
            q.back() += "P_" + to_string(j+1);
        }
    }

    if(top) {
        cout << "A=⊤\n";
    } else if(bottom) {
        cout << "A=⊥\n";
    } else {
        if(q.size() == 1) {
            cout << "A=" << q[0] << "\n";
        } else {
            cout << "A=(" << q[0] << ")";
            for(int i=1;i<q.size();++i) {
                cout << "∨(" << q[i] <<  ")"; 
            }
            cout << "\n";
        }
    }
}