Question: just a rewrite conjunctive normal form question:) CNF Conversion nsider the following formulas: (a) p199 (6) pp +9) 1. Convert each formula (separately) in CNF
just a rewrite conjunctive normal form question:) CNF Conversion nsider the following formulas: (a) p199 (6) pp +9) 1. Convert each formula (separately) in CNF using the rewrite rules seen in class and reported below. 1. AB (AVB) A (BVA) 2. A B AVB 3. (ANB) AV-B 4. (AVB) AAB 5. HA A 6. (A,A... Am) VB, V...VBn (AL VBI V.. VB.) A A (Am VB V... VB.)
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
