結果
問題 | No.792 真理関数をつくろう |
ユーザー |
|
提出日時 | 2019-02-22 21:59:04 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 18 ms / 2,000 ms |
コード長 | 1,553 bytes |
コンパイル時間 | 1,127 ms |
コンパイル使用メモリ | 120,512 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-11-25 08:20:08 |
合計ジャッジ時間 | 2,012 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
#define _USE_MATH_DEFINES#include <cstdio>#include <iostream>#include <sstream>#include <fstream>#include <iomanip>#include <algorithm>#include <cmath>#include <complex>#include <string>#include <vector>#include <array>#include <list>#include <queue>#include <stack>#include <set>#include <map>#include <bitset>#include <numeric>#include <limits>#include <climits>#include <cfloat>#include <functional>#include <iterator>#include <memory>#include <regex>using namespace std;int main(){int n;cin >> n;vector<vector<bool> > q(1<<n, vector<bool>(n));vector<bool> r(1<<n);int cnt = 0;for(int i=0; i<(1<<n); ++i){int tmp;for(int j=0; j<n; ++j){cin >> tmp;q[i][j] = (bool)tmp;}cin >> tmp;r[i] = (bool)tmp;if(r[i])++ cnt;}if(cnt == 0){cout << "A=⊥" << endl;return 0;}else if(cnt == (1<<n)){cout << "A=⊤" << endl;return 0;}cout << "A=";bool isFirst = true;for(int i=0; i<(1<<n); ++i){if(r[i]){if(isFirst)isFirst = false;elsecout << "∨";cout << '(';for(int j=0; j<n; ++j){if(!q[i][j])cout << "¬";cout << "P_" << (j+1);if(j < n - 1)cout << "∧";}cout << ')';}}cout << endl;return 0;}