結果 : propositional logic program in python