Conversion to Canonical Form

(=> (Type ?g OR)

(<=> (Signal (Out 1 ?g) On)

(exists ?i (Signal (In ?i ?g) On))))

• Eliminate Biconditionals

  (=> (Type ?g OR)
  
  (and (=> (Signal (Out 1 ?g) On) (exists ?i (Signal (In ?i ?g) On)))
  (=> (exists ?i (Signal (In ?i ?g) On)) (Signal (Out 1 ?g) On))))

• Eliminate Implications

  (or (not (Type ?g OR))
  
  (and (or (not (Signal (Out 1 ?g) On))
  (exists ?i (Signal (In ?i ?g) On)))
  (or (not (exists ?i (Signal (In ?i ?g) On)))
  (Signal (Out 1 ?g) On))))

• Move “not” Inwards

Previous slide

Next slide

Back to first slide

View graphic version