結果

問題 No.792 真理関数をつくろう
ユーザー yukarinokiyukarinoki
提出日時 2019-02-23 00:00:23
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 11 ms / 2,000 ms
コード長 1,319 bytes
コンパイル時間 1,432 ms
コンパイル使用メモリ 164,572 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-05-04 16:46:14
合計ジャッジ時間 2,282 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

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

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;

int main(){
    int n; cin >> n;
    int nn = pow(2,n);
    vector<int> v(n);
    string s; s+= "A=";
    bool flag = true, flag2 = true;
    for(int i=0;i<nn;i++){
        int t;
       for(int i=0;i<n;i++) cin >> v[i];
       cin >> t;
       if(t==1){
            if(flag){
                flag = false;
                s+='(';
                for(int i=0;i<n-1;i++){
                    if(v[i]==0) s+="¬";
                    s+="P_";
                    s+=to_string(i+1);
                    s+="∧";
                }
                if(v[n-1]==0) s+="¬";
                s+="P_";
                s+=to_string(n);
                
                s+=')';
            }else{
                s+="∨";
                s+='(';
                for(int i=0;i<n-1;i++){
                    if(v[i]==0) s+="¬";
                    s+="P_";
                    s+=to_string(i+1);
                    s+="∧";
                }
                if(v[n-1]==0) s+="¬";
                s+="P_";
                s+=to_string(n);
                
                s+=')';
            }
       }else if(flag2){
           flag2= false;
       }
    }
    if(flag) cout << "A=⊥" << endl;
    else if(flag2) cout << "A=⊤"<< endl;
    else cout << s << endl;
    return 0;
}
0