結果

問題 No.792 真理関数をつくろう
ユーザー goodbatongoodbaton
提出日時 2019-02-22 22:27:52
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 11 ms / 2,000 ms
コード長 1,713 bytes
コンパイル時間 950 ms
コンパイル使用メモリ 102,856 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-05-04 03:14:24
合計ジャッジ時間 1,874 ms
ジャッジサーバーID
(参考情報)
judge3 / judge1
このコードへのチャレンジ
(要ログイン)

テストケース

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

ソースコード

diff #

#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