結果

問題 No.792 真理関数をつくろう
コンテスト
ユーザー bal4u
提出日時 2019-07-10 09:57:24
言語 C(gnu17)
(gcc 15.2.0)
コンパイル:
gcc-15 -O2 -std=gnu17 -Wno-error=implicit-function-declaration -Wno-error=implicit-int -Wno-error=incompatible-pointer-types -Wno-error=int-conversion -DONLINE_JUDGE -o a.out _filename_ -lm
実行:
./a.out
結果
AC  
実行時間 3 ms / 2,000 ms
コード長 1,196 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 246 ms
コンパイル使用メモリ 40,392 KB
最終ジャッジ日時 2026-02-22 03:49:37
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 22
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

// yukicoder: No.792 真理関数をつくろう
// 2019.7.10 bal4u

#include <stdio.h>

#if 1
#define gc() getchar_unlocked()
#define pc(c) putchar_unlocked(c)
#else
#define gc() getchar()
#define pc(c) putchar(c)
#endif

int in() {   // 非負整数の入力
	int n = 0, c = gc();
	do n = 10 * n + (c & 0xf); while ((c = gc()) >= '0');
	return n;
}

void out(int n) { // 正整数の表示（出力）
	int i;
	char b[20];

	i = 0; while (n) b[i++] = n % 10 + '0', n /= 10;
	while (i--) pc(b[i]);
}

void outs(char *s) { while (*s) pc(*s++); }

int N;
char q[4100][13];
char r[4100];

int main()
{
	int i, p, t, f, r0, r1, lim;

	N = in(), lim = 1 << N, r0 = 0, r1 = 1;
	for (i = 1; i <= lim; i++) {
		for (p = 1; p <= N; p++) q[i][p] = gc() & 1, gc();
		r[i] = t = gc() & 1, gc(), r0 |= t, r1 &= t;
	}
	if (r0 == 0) outs("A=⊥");
	else if (r1 == 1) outs("A=⊤");
	else {
		outs("A="), f = 0;
		for (i = 1; i <= lim; i++) if (r[i]) {
			if (f) outs("∨"); else f = 1;
			pc('(');
			if (q[i][1]) outs("P_1"); else outs("¬P_1");
			for (p = 2; p <= N; p++) {
				outs("∧");
				if (q[i][p]) outs("P_"), out(p);
				else outs("¬P_"), out(p);
			}
			pc(')');
		}
	}
	pc('\n');
	return 0;
}
0