結果
問題 | No.792 真理関数をつくろう |
ユーザー |
![]() |
提出日時 | 2019-02-22 21:26:53 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 16 ms / 2,000 ms |
コード長 | 859 bytes |
コンパイル時間 | 1,641 ms |
コンパイル使用メモリ | 192,804 KB |
最終ジャッジ日時 | 2025-01-06 21:35:42 |
ジャッジサーバーID (参考情報) |
judge5 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
#include <bits/stdc++.h>using namespace std;using int64 = long long;int main() {int N, Q[1 << 12][12], K[1 << 12];cin >> N;cout << "A=";bool ok = false;bool all = false;for(int i = 0; i < 1 << N; i++) {int bit[12];for(int j = 0; j < N; j++) {cin >> Q[i][j];}cin >> K[i];if(K[i] == 0) all = true;}if(!all) {cout << "⊤" << endl;return 0;}for(int i = 0; i < 1 << N; i++) {if(K[i] == 1) {if(ok) cout << "∨";ok = true;cout << "(";for(int j = 0; j < N; j++) {if(j > 0) {cout << "∧";}if(Q[i][j] == 0) {cout << "¬P_" << j + 1;} else {cout << "P_" << j + 1;}}cout << ")";}}if(!ok) {cout << "⊥" << endl;} else {cout << endl;}}