結果

問題 No.792 真理関数をつくろう
コンテスト
ユーザー SugarDragon5
提出日時 2019-02-22 21:53:32
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 13 ms / 2,000 ms
コード長 1,406 bytes
コンパイル時間 1,660 ms
コンパイル使用メモリ 168,720 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-11-25 07:53:38
合計ジャッジ時間 2,396 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 22
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define FOR(i,n,m) for(int i=(n);i<(m);i++)
#define REP(i,n) FOR(i,0,n)
#define REPR(i,n) for(int i=(n);i>=0;i--)
#define all(vec) vec.begin(),vec.end()
using vi=vector<int>;
using vvi=vector<vi>;
using vl=vector<ll>;
using vvl=vector<vl>;
using P=pair<ll,ll>;
using PP=pair<ll,P>;
using vp=vector<P>;
using vpp=vector<PP>;
using vs=vector<string>;
#define fi first
#define se second
#define pb push_back
template<class T>bool chmax(T &a,const T &b){if(a<b){a=b;return true;}return false;}
template<class T>bool chmin(T &a,const T &b){if(a>b){a=b;return true;}return false;}
const ll MOD=1000000007LL;
const int INF=1<<30;
const ll LINF=1LL<<60;
int main(){
    int n;
    cin>>n;
    string ans="A=";
    int a=0,b=0;
    REP(i,1<<n){
        string add;
        if(a)add+="∨";
        add+='(';
        REP(j,n){
            if(j){
                add+="∧";
            }
            int x;
            cin>>x;
            if(!x){
                add+="¬";
            }
            add+="P_";
            add+=to_string(j+1);
        }
        add+=')';
        int f;
        cin>>f;
        if(f){
            ans+=add;
            a++;
        }else{
            b++;
        }
    }
    if(!a){
        cout<<"A=⊥"<<endl;
    }else if(!b){
        cout<<"A=⊤"<<endl;
    }else{
        cout<<ans<<endl;
    }
    return 0;
}
0