結果
問題 | No.792 真理関数をつくろう |
ユーザー |
![]() |
提出日時 | 2019-02-22 21:48:33 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 16 ms / 2,000 ms |
コード長 | 1,476 bytes |
コンパイル時間 | 832 ms |
コンパイル使用メモリ | 111,604 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-11-25 07:57:27 |
合計ジャッジ時間 | 1,595 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
#include<iostream> #include<string> #include<cstdio> #include<vector> #include<cmath> #include<algorithm> #include<functional> #include<iomanip> #include<queue> #include<ciso646> #include<random> #include<map> #include<set> #include<complex> #include<bitset> #include<stack> #include<unordered_map> #include<utility> using namespace std; typedef long long ll; typedef unsigned int ui; const ll mod = 1000000007; const ll INF = (ll)1000000007 * 1000000007; typedef pair<int, int> P; #define stop char nyaa;cin>>nyaa; #define rep(i,n) for(int i=0;i<n;i++) #define per(i,n) for(int i=n-1;i>=0;i--) #define Rep(i,sta,n) for(int i=sta;i<n;i++) #define rep1(i,n) for(int i=1;i<=n;i++) #define per1(i,n) for(int i=n;i>=1;i--) #define Rep1(i,sta,n) for(int i=sta;i<=n;i++) typedef long double ld; typedef complex<ld> Point; const ld eps = 1e-2; const ld pi = acos(-1.0); int n; int q[1 << 12][12]; int r[1 << 12]; int main() { cin >> n; int cnt = 0; rep(i, 1 << n) { rep(j, n) { cin >> q[i][j]; } cin >> r[i]; if (r[i])cnt++; } if (cnt == (1 << n)) { cout << "A=⊤" << endl; return 0; } bool f = false; rep(i, (1 << n)) { if (!r[i])continue; if (!f) { cout << "A="; f = true; } else { cout << "∨"; } cout << "("; rep(j, n) { if (j > 0)cout << "∧"; if (q[i][j]) { cout << "P_" << j + 1; } else { cout << "¬P_" << j + 1; } } cout << ")"; } if (!f) { cout << "A=⊥"; } cout << endl; //stop return 0; }