#432017 (C) No.792 真理関数をつくろう

• 問題: No.792 真理関数をつくろう
• ユーザー: pengin_2000
• 提出日時: 2020-02-20 18:14:15
• 言語: C (gcc 12.3.0)
• 結果: AC
• 実行時間: 11 ms / 2,000 ms
• コード長: 812 bytes
• コンパイル時間: 238 ms
• コンパイル使用メモリ: 30,976 KB
• 実行使用メモリ: 5,376 KB
• 最終ジャッジ日時: 2024-04-17 06:28:00
• 合計ジャッジ時間: 1,198 ms
• ジャッジサーバーID （参考情報）: judge3 / judge5

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	1 ms; 5,248 KB
testcase_01	AC	1 ms; 5,248 KB
testcase_02	AC	1 ms; 5,376 KB
testcase_03	AC	2 ms; 5,376 KB
testcase_04	AC	1 ms; 5,376 KB
testcase_05	AC	3 ms; 5,376 KB
testcase_06	AC	9 ms; 5,376 KB
testcase_07	AC	1 ms; 5,376 KB
testcase_08	AC	1 ms; 5,376 KB
testcase_09	AC	1 ms; 5,376 KB
testcase_10	AC	1 ms; 5,376 KB
testcase_11	AC	1 ms; 5,376 KB
testcase_12	AC	1 ms; 5,376 KB
testcase_13	AC	1 ms; 5,376 KB
testcase_14	AC	1 ms; 5,376 KB
testcase_15	AC	1 ms; 5,376 KB
testcase_16	AC	5 ms; 5,376 KB
testcase_17	AC	1 ms; 5,376 KB
testcase_18	AC	1 ms; 5,376 KB
testcase_19	AC	1 ms; 5,376 KB
testcase_20	AC	6 ms; 5,376 KB
testcase_21	AC	11 ms; 5,376 KB
testcase_22	AC	1 ms; 5,376 KB
testcase_23	AC	1 ms; 5,376 KB
testcase_24	AC	1 ms; 5,376 KB
testcase_25	AC	1 ms; 5,376 KB

ソースコード

#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;
}