Homework: Practice with Logical Formulas