PKU3295-Tautology

題目：http://poj.org/problem?id=3295
程式碼：http://codepad.org/5ObB5ut1 (精簡的idea來自網路)

訓練計畫說它是構造法，我AC了怎麼想也不了解什麼是構造法…
嗯，奇妙的東西