結果

問題 No.792 真理関数をつくろう
ユーザー noisy_noiminnoisy_noimin
提出日時 2019-02-22 21:43:22
言語 C++11
(gcc 11.4.0)
結果
WA  
実行時間 -
コード長 1,558 bytes
コンパイル時間 928 ms
コンパイル使用メモリ 90,504 KB
実行使用メモリ 6,824 KB
最終ジャッジ日時 2024-11-25 07:54:54
合計ジャッジ時間 1,395 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

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

ソースコード

diff # 

#include <cstdio>
#include <cstdlib>
#include <cmath>
#include <climits>
#include <cassert>
#include <iostream>
#include <iomanip>
#include <string>
#include <stack>
#include <queue>
#include <vector>
#include <map>
#include <set>
#include <algorithm>
#include <numeric>
#include <bitset>

#define all(c) c.begin(), c.end()
#define rall(c) c.rbegin(), c.rend()
#define debug(x) cerr << #x << ": " << x << endl

using namespace std;

typedef long long ll;
typedef pair<ll, ll> Pll;
typedef pair<int, int> Pii;

const ll MOD = 1000000007;
const long double EPS = 1e-10;
const int dyx[4][2] = {
    { 0, 1}, {-1, 0}, {0,-1}, {1, 0}
};

int main() {
    int n;
    cin >> n;

    vector<string> q;
    bool top = true, bottom = true;
    for(int i=0;i<(1<<n);++i) {
        int ps[n+1], r;
        for(int j=0;j<n;++j) cin >> ps[j];
        cin >> r;
        if(r == 0) {
            top = false;
            continue;
        }
        bottom = false;
        q.push_back("");
        for(int j=0;j<n;++j) {
            if(j) q.back() += "∧";
            if(!ps[j]) {
                q.back() += "¬";
            }
            q.back() += "P_" + to_string(j+1);
        }
    }

    if(top) {
        cout << "⊤\n";
    } else if(bottom) {
        cout << "⊥\n";
    } else {
        if(q.size() == 1) {
            cout << "A=" << q[0] << "\n";
        } else {
            cout << "A=(" << q[0] << ")";
            for(int i=1;i<q.size();++i) {
                cout << "∨(" << q[i] <<  ")"; 
            }
            cout << "\n";
        }
    }
}
0