CNF_Horn 2 - Conversion to CNF 1. Remove implication and...

Info iconThis preview shows pages 1–5. Sign up to view the full content.

View Full Document Right Arrow Icon
Conversion to CNF 1. Remove implication and equivalence Use 2. Move negations inwards Use De Morgan’s 3. Distribute OR over AND York University- CSE 3401 6 ) ( ) ( ) ( ) ( ) ( ) ( ) ( p q q p p q q p q p q p q p ) ( ) ( ) ( ) ( q p q p q p q p ) ( ) ( ) ( r p q p r q p 02-CNF & Horn
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Conversion to CNF- example Example: Convert the following formula to CNF York University- CSE 3401 7 ) ( ) ( ) ( ) ) ( ( )) ( ( ) ) (( )) ( ( ) ( p s r s p r p p s r s r p p s r s r p s r p 02-CNF & Horn
Background image of page 2
Representing a clause Consider this clause: In Logic programming, it is shown as: Easy way: positive literals on the left, negative literals on the right York University- CSE 3401 8 s r q p ) ( ) ( ) ( s q r p s q r p . , : ; ) ( ) ( r p s q r p s q 02-CNF & Horn
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Logic Programming Notation
Background image of page 4
Background image of page 5
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 5

CNF_Horn 2 - Conversion to CNF 1. Remove implication and...

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online