模拟 - PKU 3290 - WFF 'N PROOF

http://www.cppblog.com/gdgzgq/articles/114280.html