Labels:bulletin board | map | poster | sand | skep | sky OCR: CS340: Diserete Structures Homework #6 4. Demonstrate the use of Quine method to find out whether the following wff is tautology contradiction, O contingency AB AvC Bv-C (Tve BV-c) 3v-c 7 TVC) T-> BV-T Checke ins BVF AvC 5. Given the truth function defined by the following table: DNF CNF f(A,B) A3 14/13 AV3 1AVB truc true true true false false false true false false false true a. Write f(A,B)in CNF (coni junctive normal form). AV13) 1AV b. Write fA,B) in DNF (disjunctive normal form) AAB) V(AA3) Discrete Checkins RV7C conj unctive
