Logic Homework