結果

問題 No.792 真理関数をつくろう
ユーザー ixTL255ixTL255
提出日時 2019-09-10 01:05:14
言語 C#(csc)
(csc 3.9.0)
結果
TLE  
実行時間 -
コード長 820 bytes
コンパイル時間 4,316 ms
コンパイル使用メモリ 103,128 KB
実行使用メモリ 50,540 KB
最終ジャッジ日時 2023-09-15 12:58:30
合計ジャッジ時間 9,676 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 62 ms
24,128 KB
testcase_01 AC 129 ms
44,520 KB
testcase_02 AC 62 ms
24,104 KB
testcase_03 AC 271 ms
46,256 KB
testcase_04 AC 62 ms
21,844 KB
testcase_05 AC 267 ms
46,304 KB
testcase_06 TLE -
testcase_07 -- -
testcase_08 -- -
testcase_09 -- -
testcase_10 -- -
testcase_11 -- -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
権限があれば一括ダウンロードができます
コンパイルメッセージ
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.Collections.Generic;
using System.Linq;

public class Yuki792
{
	public static void Main()
	{
		var n = int.Parse(Console.ReadLine());
		Console.Write("A=");
		
		string q = "";
		var cnt = 0;
		string ans = "";
		
		while((q = Console.ReadLine()) != null)
		{
			var qij = q.Split().Select(x => int.Parse(x)).ToList();
			if(qij[qij.Count() - 1] == 0) continue;
			else
			{
				cnt++;
				ans += "(";
				for(var i = 0; i < qij.Count() - 1; ++i)
				{
					if(qij[i] != 1) ans += "¬";
					ans += "P_" + (i + 1) + "∧";
				}
				ans = ans.Substring(0, ans.Length - 1);
				ans += ")∨";
			}
		}
		
		ans.TrimEnd('∨');
		
		if(cnt == Math.Pow(2, n)) Console.WriteLine("⊤");
		else if(ans == "") Console.WriteLine("⊥");
		else Console.WriteLine(ans.Substring(0, ans.Length-1));
	}
}
0