結果

問題 No.792 真理関数をつくろう
ユーザー URechaRechaURechaRecha
提出日時 2019-09-09 10:38:43
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
AC  
実行時間 77 ms / 2,000 ms
コード長 569 bytes
コンパイル時間 92 ms
コンパイル使用メモリ 12,544 KB
実行使用メモリ 12,416 KB
最終ジャッジ日時 2024-06-28 10:20:11
合計ジャッジ時間 1,872 ms
ジャッジサーバーID
(参考情報)
judge2 / judge5
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 29 ms
10,752 KB
testcase_01 AC 31 ms
10,880 KB
testcase_02 AC 30 ms
10,624 KB
testcase_03 AC 35 ms
10,752 KB
testcase_04 AC 29 ms
10,624 KB
testcase_05 AC 37 ms
10,752 KB
testcase_06 AC 57 ms
11,392 KB
testcase_07 AC 31 ms
10,624 KB
testcase_08 AC 29 ms
10,752 KB
testcase_09 AC 29 ms
10,624 KB
testcase_10 AC 29 ms
10,624 KB
testcase_11 AC 29 ms
10,624 KB
testcase_12 AC 30 ms
10,624 KB
testcase_13 AC 30 ms
10,624 KB
testcase_14 AC 30 ms
10,496 KB
testcase_15 AC 30 ms
10,496 KB
testcase_16 AC 41 ms
11,008 KB
testcase_17 AC 30 ms
10,752 KB
testcase_18 AC 30 ms
10,624 KB
testcase_19 AC 30 ms
10,624 KB
testcase_20 AC 39 ms
10,624 KB
testcase_21 AC 77 ms
12,416 KB
testcase_22 AC 29 ms
10,624 KB
testcase_23 AC 29 ms
10,624 KB
testcase_24 AC 29 ms
10,624 KB
testcase_25 AC 30 ms
10,752 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

# -*- coding: utf-8 -*-
def main():
    n = int(input())
    f=[]
    for x in range(2**n):
        x = input().split()
        if x[-1]=='1':
            tmp = ''
            for i in range(0,n):
                if x[i]=='0':
                    tmp+='¬'
                tmp += 'P_{}∧'.format(i+1)
            tmp = tmp[:-1]
            f.append(tmp)
    l = len(f)
    res = 'A='
    if l ==0:
        res+='⊥'
    elif l==2**n:
        res+=chr(8868)
    else:
        for x in f:
            res +='({})∨'.format(x)
        res=res[:-1]
    print(res)
main()
0