結果

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

ソースコード

diff #
raw source code 

#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 << "A=⊤\n";
    } else if(bottom) {
        cout << "A=⊥\n";
    } else {
        cout << "A=(" << q[0] << ")";
        for(int i=1;i<q.size();++i) {
            cout << "∨(" << q[i] <<  ")"; 
        }
        cout << "\n";
    }
}
0