結果

問題 No.792 真理関数をつくろう
ユーザー chocoruskchocorusk
提出日時 2019-02-22 22:05:24
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 12 ms / 2,000 ms
コード長 1,240 bytes
コンパイル時間 691 ms
コンパイル使用メモリ 96,572 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-05-04 02:26:23
合計ジャッジ時間 1,471 ms
ジャッジサーバーID
(参考情報)
judge5 / judge2
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
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 1 ms
5,376 KB
testcase_05 AC 3 ms
5,376 KB
testcase_06 AC 12 ms
5,376 KB
testcase_07 AC 2 ms
5,376 KB
testcase_08 AC 1 ms
5,376 KB
testcase_09 AC 1 ms
5,376 KB
testcase_10 AC 1 ms
5,376 KB
testcase_11 AC 1 ms
5,376 KB
testcase_12 AC 2 ms
5,376 KB
testcase_13 AC 1 ms
5,376 KB
testcase_14 AC 1 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 1 ms
5,376 KB
testcase_20 AC 9 ms
5,376 KB
testcase_21 AC 12 ms
5,376 KB
testcase_22 AC 1 ms
5,376 KB
testcase_23 AC 1 ms
5,376 KB
testcase_24 AC 1 ms
5,376 KB
testcase_25 AC 2 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <cstdio>
#include <cstring>
#include <iostream>
#include <string>
#include <cmath>
#include <bitset>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
#include <algorithm>
#include <complex>
#include <unordered_map>
#include <unordered_set>
#include <random>
#include <cassert>
using namespace std;
typedef long long int ll;
typedef pair<int, int> P;
string num[12]={"1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12"};
int main()
{
	int n; cin>>n;
    int q[1<<12][12], r[1<<12];
    bool all=1, nall=1;
    int m=0;
    for(int i=0; i<(1<<n); i++){
        for(int j=0; j<n; j++){
            cin>>q[i][j];
        }
        cin>>r[i];
        if(r[i]) nall=0, m=i;
        else all=0;
    }
    if(all){
        cout<<"A=⊤"<<endl;
        return 0;
    }else if(nall){
        cout<<"A=⊥"<<endl;
        return 0;
    }
    string ans="A=";
    for(int i=0; i<(1<<n); i++){
        if(r[i]==0) continue;
        ans+='(';
        for(int j=0; j<n; j++){
            if(q[i][j]==0) ans+="¬";
            ans+="P_";
            ans+=num[j];
            if(j<n-1) ans+="∧";
            else ans+=')';
        }
        if(i<m) ans+="∨";
    }
    cout<<ans<<endl;
    return 0;
}
0