結果

問題 No.792 真理関数をつくろう
ユーザー pengin_2000pengin_2000
提出日時 2020-02-20 18:14:15
言語 C
(gcc 12.3.0)
結果
AC  
実行時間 10 ms / 2,000 ms
コード長 812 bytes
コンパイル時間 410 ms
コンパイル使用メモリ 30,336 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-10-08 19:07:06
合計ジャッジ時間 1,557 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 1 ms
5,248 KB
testcase_03 AC 2 ms
5,248 KB
testcase_04 AC 1 ms
5,248 KB
testcase_05 AC 2 ms
5,248 KB
testcase_06 AC 7 ms
5,248 KB
testcase_07 AC 1 ms
5,248 KB
testcase_08 AC 1 ms
5,248 KB
testcase_09 AC 1 ms
5,248 KB
testcase_10 AC 1 ms
5,248 KB
testcase_11 AC 1 ms
5,248 KB
testcase_12 AC 1 ms
5,248 KB
testcase_13 AC 0 ms
5,248 KB
testcase_14 AC 1 ms
5,248 KB
testcase_15 AC 1 ms
5,248 KB
testcase_16 AC 4 ms
5,248 KB
testcase_17 AC 1 ms
5,248 KB
testcase_18 AC 0 ms
5,248 KB
testcase_19 AC 1 ms
5,248 KB
testcase_20 AC 6 ms
5,248 KB
testcase_21 AC 10 ms
5,248 KB
testcase_22 AC 1 ms
5,248 KB
testcase_23 AC 1 ms
5,248 KB
testcase_24 AC 1 ms
5,248 KB
testcase_25 AC 1 ms
5,248 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

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