[UVA][greedy] 11103 - WFF 'N PROOF
Problem D: WFF 'N PROOF
WFF '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 symbols obeying the following
rules:
p, q, r, s, ...
