結果

問題 No.792 真理関数をつくろう
ユーザー tempura_pptempura_pp
提出日時 2019-02-22 21:39:35
言語 C++11
(gcc 11.4.0)
結果
WA  
実行時間 -
コード長 1,316 bytes
コンパイル時間 873 ms
コンパイル使用メモリ 88,512 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-05-04 01:58:21
合計ジャッジ時間 1,421 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,812 KB
testcase_01 AC 3 ms
6,940 KB
testcase_02 AC 1 ms
6,944 KB
testcase_03 WA -
testcase_04 AC 1 ms
6,940 KB
testcase_05 WA -
testcase_06 WA -
testcase_07 AC 2 ms
6,940 KB
testcase_08 AC 2 ms
6,944 KB
testcase_09 AC 1 ms
6,944 KB
testcase_10 AC 2 ms
6,940 KB
testcase_11 AC 1 ms
6,944 KB
testcase_12 AC 2 ms
6,940 KB
testcase_13 AC 1 ms
6,944 KB
testcase_14 AC 2 ms
6,940 KB
testcase_15 AC 2 ms
6,940 KB
testcase_16 WA -
testcase_17 AC 1 ms
6,944 KB
testcase_18 AC 1 ms
6,940 KB
testcase_19 AC 1 ms
6,944 KB
testcase_20 WA -
testcase_21 WA -
testcase_22 AC 1 ms
6,940 KB
testcase_23 AC 2 ms
6,940 KB
testcase_24 AC 1 ms
6,944 KB
testcase_25 AC 1 ms
6,944 KB
権限があれば一括ダウンロードができます

ソースコード

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;
    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_";
                ret+=(char)'1'+j;
                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