結果
問題 | 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;//stopreturn 0;}