#include<stdio.h>
int main()
{
	int n;
	scanf("%d", &n);
	int i, j;
	int m = 1;
	for (i = 0; i < n; i++)
		m *= 2;
	int q[5003][20], r[5003];
	for (i = 0; i < m; i++)
	{
		for (j = 0; j < n; j++)
			scanf("%d", &q[i][j]);
		scanf("%d", &r[i]);
	}
	int c[2];
	c[0] = c[1] = 0;
	for (i = 0; i < m; i++)
		c[r[i]]++;
	if (c[0] == 0)
	{
		printf("A=⊤\n");
		return 0;
	}
	if (c[1] == 0)
	{
		printf("A=⊥\n");
		return 0;
	}
	printf("A=");
	for (i = 0; i < m; i++)
	{
		if (r[i] > 0)
		{
			printf("(");
			for (j = 0; j < n - 1; j++)
			{
				if (q[i][j] > 0)
					printf("P_%d∧", j + 1);
				else
					printf("¬P_%d∧", j + 1);
			}
			if (q[i][n - 1] > 0)
				printf("P_%d)", n);
			else
				printf("¬P_%d)", n);
			if (c[1] > 1)
				printf("∨");
			else
				printf("\n");
			c[1]--;
		}
	}
	return 0;
}