結果
問題 | No.792 真理関数をつくろう |
ユーザー |
👑 |
提出日時 | 2020-02-21 00:05:01 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 18 ms / 2,000 ms |
コード長 | 886 bytes |
コンパイル時間 | 807 ms |
コンパイル使用メモリ | 71,376 KB |
実行使用メモリ | 5,248 KB |
最終ジャッジ日時 | 2024-10-08 19:26:39 |
合計ジャッジ時間 | 1,728 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
#include <iostream>#include <vector>using namespace std;int main(){cout << "A=";int n;cin>>n;int A[(1<<n)][n];vector<int> B(n);int nya = 0;for(int i = 0; (1<<n) > i; i++){for(int j = 0; n > j; j++){cin>>A[i][j];}cin>>B[i];nya += B[i];}if(!nya){cout << "⊥";}else if(nya == (1<<n)){cout << "⊤";}else{bool nya = false;for(int i = 0; (1<<n) > i; i++){if(!B[i])continue;if(nya){cout << "∨";}nya = true;cout << "(";for(int j = 0; n > j; j++){if(!A[i][j])cout << "¬";cout << "P_" << j+1;if(j+1 != n)cout << "∧";}cout << ")";}}cout << endl;}