結果
問題 | No.792 真理関数をつくろう |
ユーザー |
|
提出日時 | 2019-02-22 21:50:22 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 13 ms / 2,000 ms |
コード長 | 942 bytes |
コンパイル時間 | 807 ms |
コンパイル使用メモリ | 78,404 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-11-25 07:58:39 |
合計ジャッジ時間 | 1,629 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
#include<iostream> #include<vector> using namespace std; int main(){ int n; cin >> n; vector<vector<int>> v(1<<n, vector<int>(n+1)); int cnt = 0; for(int i = 0; i < (1<<n); i++){ for(int j = 0; j < n+1; j++){ cin >> v[i][j]; } cnt += v[i][n]; } cout << "A="; if(cnt == 0){ cout << "⊥" << endl; return 0; }else if(cnt == 1<<n){ cout << "⊤" << endl; return 0; } vector<string> ans; for(int i = 0; i < (1<<n); i++){ if(v[i][n] == 0) continue; string t = "("; for(int j = 0; j < n; j++){ if(j) t += "∧"; if(v[i][j] == 0) t += "¬"; t += "P_" + to_string(j+1); } t += ")"; ans.push_back(t); } for(int i = 0; i < ans.size(); i++){ if(i) cout << "∨"; cout << ans[i]; } cout << endl; return 0; }