結果 : propositional logic practice problems