結果

問題 No.792 真理関数をつくろう
ユーザー okok
提出日時 2019-02-22 22:03:16
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 9 ms / 2,000 ms
コード長 1,106 bytes
コンパイル時間 541 ms
コンパイル使用メモリ 71,988 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-05-04 02:22:06
合計ジャッジ時間 1,238 ms
ジャッジサーバーID
(参考情報)
judge5 / judge4
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 1 ms
5,376 KB
testcase_03 AC 3 ms
5,376 KB
testcase_04 AC 1 ms
5,376 KB
testcase_05 AC 3 ms
5,376 KB
testcase_06 AC 7 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 2 ms
5,376 KB
testcase_16 AC 4 ms
5,376 KB
testcase_17 AC 1 ms
5,376 KB
testcase_18 AC 2 ms
5,376 KB
testcase_19 AC 1 ms
5,376 KB
testcase_20 AC 5 ms
5,376 KB
testcase_21 AC 9 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
権限があれば一括ダウンロードができます

ソースコード

diff #

#include<iostream>
#include<string>
#include<iomanip>
#include<cmath>
#include<vector>
#include<algorithm>

using namespace std;

#define int long long
#define rep(i,n) for(int i = 0; i < (n); i++)
#define INF ((long long)1e18)
#define MOD ((int)1e9+7)
#define endl "\n"

#define yn(f) ((f)?"Yes":"No")
#define YN(f) ((f)?"YES":"NO")

#define MAX 8000

int Q[MAX][20];
int R[MAX];

signed main(){
	cin.tie(0);
	ios::sync_with_stdio(false);
	cout<<fixed<<setprecision(10);
	
	int N;
	bool f1 = false, f2 = true;
	
	
	cin>>N;
	
	for(int i = 1; i <= (1<<N); i++){
		for(int j = 1; j <= N; j++){
			cin>>Q[i][j];
		}
		cin>>R[i];
		// cout<<i<<" "<<R[i]<<endl;
		if(!R[i]) f1 = true;
		if(R[i]) f2 = false;
	}
	
	if(f1 == false){
		cout<<"A=⊤"<<endl;
	} else if(f2 == true){
		cout<<"A=⊥"<<endl;
	} else {
		cout<<"A=";
		for(int i = 1, con = 0; i <= (1<<N); i++){
			if(R[i] == false) continue;
			if(con++){
				cout<<"∨";
			}
			cout<<"(";
			for(int j = 1; j <= N; j++){
				if(j-1)cout<<"∧";
				if(!Q[i][j])cout<<"¬";
				cout<<"P_"<<j;
			}
			cout<<")";
		}
		cout<<endl;
		
	}
	
	return 0;
}
0