結果 : propositional logic code in python