Click lab-1-logic.pdf link to view the file.