結果

問題 No.792 真理関数をつくろう
ユーザー noisy_noiminnoisy_noimin
提出日時 2019-02-22 21:43:22
言語 C++11
(gcc 13.3.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
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2 WA * 2
other AC * 19 WA * 3
権限があれば一括ダウンロードができます

ソースコード

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