The marks for Assignment 2 are available on the WebCMS3 course website.
You can access the COMP3411/9814 20T0 course:
If you have any questions about the mark, please send an email with your zID.
You may receive an email with assessment results LE.
Please ignore this email. I will inform you when the results for Assignment 2 and the final exam are available.
I have published Additional exercises for conversion into CNF in Week 5 tutorials.