POJ 3295 Tautology(构造法)
摘要:
TautologyTime Limit: 1000MSMemory Limit: 65536KTotal Submissions: 6088Accepted: 2315DescriptionWFF '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, r, s, t. A Well-formed formula (WFF) is any string of these s 阅读全文
posted @ 2012-08-13 18:30 kuangbin 阅读(1647) 评论(0) 推荐(1) 编辑