結果

問題 No.792 真理関数をつくろう
ユーザー keymoonkeymoon
提出日時 2019-02-22 21:47:50
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 46 ms / 2,000 ms
コード長 1,644 bytes
コンパイル時間 719 ms
コンパイル使用メモリ 111,092 KB
実行使用メモリ 29,800 KB
最終ジャッジ日時 2024-11-25 07:56:38
合計ジャッジ時間 2,184 ms
ジャッジサーバーID
(参考情報)
judge5 / judge3
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 4
other AC * 22
権限があれば一括ダウンロードができます
コンパイルメッセージ
Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc)
Copyright (C) Microsoft Corporation. All rights reserved.

ソースコード

diff #
プレゼンテーションモードにする

using System;
using System.IO;
using System.Linq;
using System.Collections;
using System.Collections.Generic;
using System.Numerics;
using System.Diagnostics;
using System.Text;
using System.Text.RegularExpressions;
using System.Threading.Tasks;
using static System.Math;
class P
{
static void Main()
{
int n = int.Parse(Console.ReadLine());
StringBuilder builder = new StringBuilder();
builder.Append("A=");
bool IsFirst = true;
int max = 1 << n;
bool IsAllTrue = true;
for (int i = 0; i < max; i++)
{
var q = Console.ReadLine().Split().Select(int.Parse).ToList();
if (q.Last() != 1)
{
IsAllTrue = false;
continue;
}
if (!IsFirst) builder.Append("");
else IsFirst = false;
builder.Append("(");
for (int j = 0; j < n; j++)
{
if (q[j] == 0) builder.Append("¬");
builder.Append("P_");
builder.Append(j + 1);
if (j != n - 1) builder.Append("");
}
builder.Append(")");
}
if (IsFirst) builder.Append("");
if (IsAllTrue) Console.WriteLine("A=⊤");
else Console.WriteLine(builder.ToString());
}
static long Power(long n, long m)
{
const int mod = 1000000007;
long pow = n;
long res = 1;
while (m > 0)
{
if ((m & 1) == 1) res = (res * pow) % mod;
pow = (pow * pow) % mod;
m >>= 1;
}
return res;
}
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0