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