結果

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

ソースコード

diff #
raw source code 

#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;
    bool ok=true,ng=true;
    rep(i,(1<<n)){
        int a[n];
        rep(j,n)cin>>a[j];
        int ans;
        cin>>ans;
        if(ans){
            ng=false;
            if(!first)ret+="∨";
            first=false;
            ret+='(';
            rep(j,n){
                if(!a[j]){
                    ret+="¬";
                }
                ret+="P_";
                if(j<9)ret+=(char)'1'+j;
                if(j==9)ret+="10";
                if(j==10)ret+="11";
                if(j==11)ret+="12";
                if(j!=n-1)ret+="∧";
            }
            ret+=")";
        }
        else ok=false;
    }
    int m=ret.size();
    if(ng){
        cout<<"A=⊥"<<endl;
        return 0;
    }
    if(ok){
        cout<<"A=⊤"<<endl;
        return 0;
    }
    cout<<ret<<endl;
    return 0;
}
0