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