結果
問題 | No.792 真理関数をつくろう |
ユーザー |
![]() |
提出日時 | 2019-02-22 22:38:36 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 11 ms / 2,000 ms |
コード長 | 1,051 bytes |
コンパイル時間 | 1,795 ms |
コンパイル使用メモリ | 76,640 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-11-25 10:24:53 |
合計ジャッジ時間 | 2,151 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
#include <iostream>#include <vector>#include <string>#include <algorithm>#include <cstdio>#include <cstring>#include <cmath>using namespace std;using ll = long long;int main() {ios::sync_with_stdio(false);cin.tie(0);int n;cin >> n;int m = n + 1;vector<int> a(m << n);int b = 0;for (int i = 0; i < 1 << n; i++) {for (int j = 0; j < m; j++) {cin >> a[i * m + j];}b |= 1 << a[i * m + n];}cout << "A=";if (b == 1 << 0) {cout << "⊥" << endl;exit(0);}if (b == 1 << 1) {cout << "⊤" << endl;exit(0);}int f = 0;for (int i = 0; i < 1 << n; i++) {if (a[i * m + n] == 0) continue;if (f) cout << "∨";f = 1;cout << "(";for (int j = 0; j < n; j++) {if (j > 0) cout << "∧";if (a[i * m + j] == 0) cout << "¬";cout << "P_" << j + 1;}cout << ")";}cout << endl;return 0;}