Labels:bulletin board | map | poster | reckoner | sky | vegetarianism | water | windowpane OCR: CS340: Discrete Structures Homework #7 Name ISWER Due: Beginning of Class Monday June 7 2010 Hand in hard copy Staple pages 1. Prove that the following wff is tautology by using the CP rule Do not use any T's (theorems) (AvB AvB CVD EAF) CACVD=EAF=A >F) check rute nam imp Laect MA M Prove that the following wff is a tautology by using the CP rule Do not use any =AV-BAB.vCAC 7A Prove that the following wff is tautology by using the IP rule Usc T only for false AvBA MT Mp DED ANSWER followi
