Click Lez_3_LogicProp_2.pdf link to view the file.