結果

問題 No.792 真理関数をつくろう
コンテスト
ユーザー tempura_pp
提出日時 2019-02-22 21:38:09
言語 C++11（廃止可能性あり）
(gcc 13.3.0)
結果
WA  
実行時間 -
コード長 1,182 bytes
コンパイル時間 911 ms
コンパイル使用メモリ 89,164 KB
実行使用メモリ 6,824 KB
最終ジャッジ日時 2024-11-25 07:50:34
合計ジャッジ時間 2,022 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2 WA * 2
other AC * 16 WA * 6
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<iostream>
#include<string>
#include<algorithm>
#include<vector>
#include<iomanip>
#include<math.h>
#include<complex>
#include<queue>
#include<deque>
#include<stack>
#include<map>
#include<set>
#include<bitset>
#include<functional>
#include<assert.h>
#include<numeric>
using namespace std;
#define REP(i,m,n) for(int i=(int)(m) ; i < (int) (n) ; ++i )
#define rep(i,n) REP(i,0,n)
typedef long long ll;
typedef pair<int,int> pint;
typedef pair<ll,int> pli;
const int inf=1e9+7;
const ll longinf=1LL<<60 ;
const ll mod=1e9+7 ;

int main(){
    int n;
    cin>>n;
    string ret="A=";
    int first=true;
    rep(i,(1<<n)){
        int a[n];
        rep(j,n)cin>>a[j];
        int ans;
        cin>>ans;
        if(ans){
            if(!first)ret+="∨";
            first=false;
            ret+='(';
            rep(j,n){
                if(!a[j]){
                    ret+="¬";
                }
                ret+="P_";
                ret+=(char)'1'+j;
                if(j!=n-1)ret+="∧";
            }
            ret+=")";
        }
    }
    int m=ret.size();
    if(m==0){
        cout<<"A=⊥"<<endl;
        return 0;
    }
    cout<<ret<<endl;
    return 0;
}
0