Here is the link to the the propositional logic assignment. Only part 2 is due.