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

• 問題: No.792 真理関数をつくろう
• ユーザー: nmnmnmnmnmnmnm
• 提出日時: 2019-02-22 21:48:32
• 言語: C++11 (gcc 11.4.0)
• 結果: AC
• 実行時間: 24 ms / 2,000 ms
• コード長: 1,317 bytes
• コンパイル時間: 646 ms
• コンパイル使用メモリ: 91,264 KB
• 実行使用メモリ: 5,376 KB
• 最終ジャッジ日時: 2024-05-04 02:02:32
• 合計ジャッジ時間: 1,510 ms
• ジャッジサーバーID （参考情報）: judge5 / judge1

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

ソースコード

#include <algorithm>
#include <cfloat>
#include <climits>
#include <cmath>
#include <complex>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <functional>
#include <iostream>
#include <map>
#include <memory>
#include <queue>
#include <set>
#include <sstream>
#include <stack>
#include <string>
#include <utility>
#include <vector>
 
using namespace std;
 
typedef long long ll;
 
#define sz size()
#define pb push_back
#define mp make_pair
#define fi first
#define se second
#define all(c) (c).begin(), (c).end()
#define rep(i,a,b) for(ll i=(a);i<(b);++i)
#define per(i,a,b) for(ll i=b-1LL;i>=(a);--i)
#define clr(a, b) memset((a), (b) ,sizeof(a))
#define ctos(c) string(1,c)
#define print(x) cout<<#x<<" = "<<x<<endl;
 
#define MOD 1000000007

string ntos(long long n){
  string s;
  stringstream ss;
  ss << n;
  ss >> s;
  return s;
}

int main(){
	ll n;
	cin>>n;
	ll c = 0;
	string s = "A=";
	rep(i,0,pow(2,n)){
		string s1 = "(";
		vector<ll> v;
		rep(j,1,n+1){
			ll a;
			cin>>a;
			if(a)s1+="P_"+ntos(j);
			else s1+="¬P_"+ntos(j);
			if(j!=n)s1+="∧";
			else s1+=")";
		}
		ll a;
		cin>>a;
		if(a==1){
			if(s.sz!=2)s+="∨";
			s+=s1;
			c++;
		}
	}
	if(c==0){
		cout << "A=⊥" << endl;
	}
	else if(c==pow(2,n)){
		cout << "A=⊤" << endl;
	}
	else{
		cout << s << endl;
	}
	return 0;
}