結果 : propositional logic examples with solutions