Some exercise of propositional logic using python with aima3 package