結果

問題 No.792 真理関数をつくろう
ユーザー tempura_pptempura_pp
提出日時 2019-02-22 21:42:14
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 11 ms / 2,000 ms
コード長 1,430 bytes
コンパイル時間 668 ms
コンパイル使用メモリ 88,304 KB
実行使用メモリ 4,380 KB
最終ジャッジ日時 2023-08-16 18:23:22
合計ジャッジ時間 1,825 ms
ジャッジサーバーID
(参考情報)
judge13 / judge15
このコードへのチャレンジ(β)

テストケース

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

ソースコード

diff #

#include<iostream>
#include<string>
#include<algorithm>
#include<vector>
#include<iomanip>
#include<math.h>
#include<complex>
#include<queue>
#include<deque>
#include<stack>
#include<map>
#include<set>
#include<bitset>
#include<functional>
#include<assert.h>
#include<numeric>
using namespace std;
#define REP(i,m,n) for(int i=(int)(m) ; i < (int) (n) ; ++i )
#define rep(i,n) REP(i,0,n)
typedef long long ll;
typedef pair<int,int> pint;
typedef pair<ll,int> pli;
const int inf=1e9+7;
const ll longinf=1LL<<60 ;
const ll mod=1e9+7 ;

int main(){
    int n;
    cin>>n;
    string ret="A=";
    int first=true;
    bool ok=true,ng=true;
    rep(i,(1<<n)){
        int a[n];
        rep(j,n)cin>>a[j];
        int ans;
        cin>>ans;
        if(ans){
            ng=false;
            if(!first)ret+="∨";
            first=false;
            ret+='(';
            rep(j,n){
                if(!a[j]){
                    ret+="¬";
                }
                ret+="P_";
                if(j<9)ret+=(char)'1'+j;
                if(j==9)ret+="10";
                if(j==10)ret+="11";
                if(j==11)ret+="12";
                if(j!=n-1)ret+="∧";
            }
            ret+=")";
        }
        else ok=false;
    }
    int m=ret.size();
    if(ng){
        cout<<"A=⊥"<<endl;
        return 0;
    }
    if(ok){
        cout<<"A=⊤"<<endl;
        return 0;
    }
    cout<<ret<<endl;
    return 0;
}
0