Click Lez_4_LogicProp_3.pdf link to view the file.