結果

問題 No.792 真理関数をつくろう
コンテスト
ユーザー goodbaton
提出日時 2019-02-22 22:27:52
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 10 ms / 2,000 ms
コード長 1,713 bytes
コンパイル時間 1,078 ms
コンパイル使用メモリ 104,356 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-11-25 09:38:38
合計ジャッジ時間 1,648 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 22
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <cstdio>
#include <cstdlib>
#include <cmath>
#include <cstring>

#include <iostream>
#include <complex>
#include <string>
#include <algorithm>
#include <numeric>
#include <vector>
#include <queue>
#include <stack>
#include <map>
#include <set>
#include <unordered_map>
#include <unordered_set>

#include <functional>
#include <cassert>

typedef long long ll;
using namespace std;

#ifndef LOCAL
#define debug(x) ;
#else
#define debug(x) cerr << __LINE__ << " : " << #x << " = " << (x) << endl;

template <typename T1, typename T2>
ostream &operator<<(ostream &out, const pair<T1, T2> &p) {
  out << "{" << p.first << ", " << p.second << "}";
  return out;
}

template <typename T>
ostream &operator<<(ostream &out, const vector<T> &v) {
  out << '{';
  for (const T &item : v) out << item << ", ";
  out << "\b\b}";
  return out;
}
#endif

#define mod 1000000007 //1e9+7(prime number)
#define INF 1000000000 //1e9
#define LLINF 2000000000000000000LL //2e18
#define SIZE 200010


int main(){
  int n;
  vector<string> ans;

  cin >> n;

  bool allT = true;
  bool allF = true;

  for(int i=0;i<(1<<n);i++){
    int q[12], r;
    for(int j=0;j<n;j++) scanf("%d", q+j);
    scanf("%d", &r);

    if (r) {
      string s;
      s += "(";
      for(int j=0;j<n;j++){
        if (!q[j]) s+= "¬";
        s += "P_";
        s += to_string(j+1);
        if (j < n-1) s += "∧";
      }
      s += ")";
      ans.push_back(s);
    }

    allT &= r;
    allF &= !r;
  }

  printf("A=");

  if (allT) {
    puts("⊤");
  } else if (allF) {
    puts("⊥");
  } else {
    for(int i=0;i<ans.size();i++){
      cout << ans[i];
      if(i + 1 < ans.size()) cout << "∨";
    }
    cout << endl;
  }

  return 0;
}
0