結果
問題 | No.792 真理関数をつくろう |
ユーザー |
![]() |
提出日時 | 2019-02-22 21:43:22 |
言語 | C++11 (gcc 13.3.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 1,558 bytes |
コンパイル時間 | 928 ms |
コンパイル使用メモリ | 90,504 KB |
実行使用メモリ | 6,824 KB |
最終ジャッジ日時 | 2024-11-25 07:54:54 |
合計ジャッジ時間 | 1,395 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 2 WA * 2 |
other | AC * 19 WA * 3 |
ソースコード
#include <cstdio> #include <cstdlib> #include <cmath> #include <climits> #include <cassert> #include <iostream> #include <iomanip> #include <string> #include <stack> #include <queue> #include <vector> #include <map> #include <set> #include <algorithm> #include <numeric> #include <bitset> #define all(c) c.begin(), c.end() #define rall(c) c.rbegin(), c.rend() #define debug(x) cerr << #x << ": " << x << endl using namespace std; typedef long long ll; typedef pair<ll, ll> Pll; typedef pair<int, int> Pii; const ll MOD = 1000000007; const long double EPS = 1e-10; const int dyx[4][2] = { { 0, 1}, {-1, 0}, {0,-1}, {1, 0} }; int main() { int n; cin >> n; vector<string> q; bool top = true, bottom = true; for(int i=0;i<(1<<n);++i) { int ps[n+1], r; for(int j=0;j<n;++j) cin >> ps[j]; cin >> r; if(r == 0) { top = false; continue; } bottom = false; q.push_back(""); for(int j=0;j<n;++j) { if(j) q.back() += "∧"; if(!ps[j]) { q.back() += "¬"; } q.back() += "P_" + to_string(j+1); } } if(top) { cout << "⊤\n"; } else if(bottom) { cout << "⊥\n"; } else { if(q.size() == 1) { cout << "A=" << q[0] << "\n"; } else { cout << "A=(" << q[0] << ")"; for(int i=1;i<q.size();++i) { cout << "∨(" << q[i] << ")"; } cout << "\n"; } } }