logic course assignment 1