結果

問題 No.792 真理関数をつくろう
ユーザー sashimingsashiming
提出日時 2019-02-23 14:43:46
言語 C++14
(gcc 13.2.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 1,441 bytes
コンパイル時間 1,475 ms
コンパイル使用メモリ 165,960 KB
実行使用メモリ 4,504 KB
最終ジャッジ日時 2023-08-20 02:01:01
合計ジャッジ時間 2,581 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

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

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
#define ALL(obj) (obj).begin(), (obj).end()
#define REP(i, n) for(int i = 0;i < (n);++i)
#define REPLL(i, n) for(ll i = 0;i < (n);++i)

#define endl "\n"
#define pb push_back
#define MOD 1000000007LL
#define PI 3.1415926

typedef long long ll;

template <typename T> inline T GCD(T a,T b){T c;while(b!=0){c=a%b;a=b;b=c;}return a;}
template <typename T> inline T LCM(T a,T b){T c=GCD(a,b);a/=c;return a*b;}
template <typename T> inline T nCr(T a,T b){T i,r=1;for(i=1;i<=b;i++){r*=(a+1-i);r/=i;}return r;}
template <typename T> inline T nHr(T a,T b){return nCr(a+b-1,b);}
template <typename T> inline T POW(T a,T b){int i,r=1;for(i=1;i<=b;i++){r*=a;}return r;}

int main(void){
	cin.tie(0);
	ios::sync_with_stdio(false);

	int n; bool q[144][12], r[144];
	int trues = 0;
	bool istop = 1, isbottom = 1;
	cin >> n;
	REP(i, n*n){
		REP(j, n) cin >> q[i][j];
		cin >> r[i];
	}
	string ans = "A=";
		int lastindex = n;
		for (int i = n*n-1; i >= 0; i--) {
			if(r[i]){
				lastindex = i;
				break;
			}
		}
		REP(i, n*n){
			if(r[i]){
				isbottom = 0;
				ans += '(';
				REP(j, n){
					if(!q[i][j]) ans += "¬";
					ans += "P_" + to_string(j+1);
					if(j!=n-1) ans += "∧";
				}
				if(i != lastindex) ans += ")∨";
				else ans += ')';
			} else {
				istop = 0;
			}
		}
	if(istop) cout << "A=⊥" << endl;
	else if(isbottom) cout << "A=⊤" << endl;
	else cout << ans << endl;

	return 0;
}
0