結果
問題 |
No.792 真理関数をつくろう
|
ユーザー |
![]() |
提出日時 | 2020-02-25 20:42:10 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 652 bytes |
コンパイル時間 | 1,635 ms |
コンパイル使用メモリ | 168,956 KB |
実行使用メモリ | 6,824 KB |
最終ジャッジ日時 | 2024-10-13 14:33:45 |
合計ジャッジ時間 | 2,687 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | WA * 4 |
other | WA * 22 |
ソースコード
#include <bits/stdc++.h> using longlong=long long; int main(){ std::cin.tie(nullptr);std::cin.sync_with_stdio(false); int n;std::cin>>n; int N=1<<n; std::cout<<"A="; std::vector<int>a(n); for(int i=0;i<N;i++){ if(0<i)std::cout<<"∧"; for(int j=0;j<n;j++)std::cin>>a.at(j); int b;std::cin>>b; std::cout<<"("; if(!b)std::cout<<"¬"; std::cout<<"("; for(int j=0;j<n;j++){ if(0<j)std::cout<<"∧"; if(!a.at(j))std::cout<<"¬"; std::cout<<"P_"<<j; } std::cout<<")"; std::cout<<")"; } std::cout<<std::endl; }