poj 3295 Tautology
摘要：
DescriptionWFF 'N PROOF is a logic game played with dice. Each die has six faces representing some subset of the possible symbols K, A, N, C, E, p, q,... 阅读全文
posted @ 2015-10-27 19:51 无谓的味道 阅读(156) 评论(0) 推荐(0) 编辑