Have fun with python and propostional calculus