結果 : propositional logic in ai examples with solutions