Logic Laws Notes_COMP 681 - Logic Laws Notes Procedure to...

This preview shows page 1 - 2 out of 2 pages.

Logic Laws NotesProcedure to transform any wff into a logically equivalent wff in CNFStep 1.Eliminate’s (Law of Equivalence)Step 2.Eliminate’s (Law of Implication)Step 3.Move¬’s inwards (De Morgan’s Laws), eliminating any double negations (Lawof Negation)Step 4.Use Distributive Law (over) to move the’s up and the’s downUse commutativity and associativity ofandto reorder sub-formulas so that this lawmay be usedSimplify a formula whenever possible.UseLaw of Excluded Middle,Law of Contradiction,Idempotence ofand,Simplification Laws (3.18)-(3.21), andAbsorption Laws.Use commutativity and associativity ofandto reorder sub-formulas to helpsimplifyThe procedure to transform any wff into a logically equivalent wff in DNF is thesame as the procedure for CNF for the first 3 stepsStep 4.Use the Distribute Law (over) to move the’s up and the’s down

Upload your study docs or become a

Course Hero member to access this document

End of preview. Want to read all 2 pages?

Upload your study docs or become a

Course Hero member to access this document

Term
Fall
Professor
ALBERTESTERLINE
Tags
Law, Logic, Addition, logically equivalent wff, Law of Equivalence

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture