Labels:book | bulletin board | poster | reckoner | sky | windowpane OCR: CS340: Discrete Structures Homework #6 Name ANSWE Duc: Beginning of Class Monday May 31, 2010 Hand in hard copy Staple 11D pages. 1. Find truth values for the proposi tional variables A,B. and C such that the truth AVR value of the following wff is false AviS AA AvB Use basic cquivalences tc prove the following equivalence -(-ABvA -B=-A-BvAB A i 13A J 13 A (3) AA (A A) ((A V (AAB) 3 V AVR 1Av (131A) 3. Use basic equivalences to prove that the following wff isa tautology In other words show the wff is equivalcnt to true BA(A ->B - 1-1A 4-73 V (AA3) BV A A3 (BVA)A (BVB)) ((SVA) VA) ANSWEe VBNA equi ivalences equivalent
