結果
問題 | No.792 真理関数をつくろう |
ユーザー |
|
提出日時 | 2019-02-23 00:47:31 |
言語 | C++11(廃止可能性あり) (gcc 13.3.0) |
結果 |
AC
|
実行時間 | 16 ms / 2,000 ms |
コード長 | 794 bytes |
コンパイル時間 | 1,311 ms |
コンパイル使用メモリ | 159,336 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-11-26 08:41:17 |
合計ジャッジ時間 | 2,180 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
#include <bits/stdc++.h> int main(){ int n; std::cin>>n; bool yes=true; bool no=true; int a[1<<12][13]; for(int i=0;i<(1<<n);++i){ for(int j=0;j<n+1;++j){ std::cin>>a[i][j]; } } for(int i=0;i<(1<<n);++i){ yes&=a[i][n]; no&=a[i][n]^1; } if(yes){ std::cout<<"A=⊤"<<std::endl; return 0; } if(no){ std::cout<<"A=⊥"<<std::endl; return 0; } bool pre=false; std::cout<<"A="; for(int i=0;i<(1<<n);++i){ if(a[i][n]==0)continue; if(pre){ std::cout<<"∨"; } std::cout<<"("; for(int j=0;j<n;++j){ if(a[i][j]!=a[i][n]){ std::cout<<"¬"; } std::cout<<"P_"<<(j+1); if(j<n-1)std::cout<<"∧"; } std::cout<<")"; pre=true; } std::cout<<std::endl; return 0; }