Python Program Using Logical Formulas