SNOMED CT Editorial Advisory Group

Page tree

Versions Compared

Old Version 66

changes.mady.by.user Paul Amos

Saved on

compared with

New Version 67

changes.mady.by.user Anne Randorff Højen

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Combinatorial Logic

(A) POSSIBLY_EQUIVALENT_TO (B OR C) and (B) SAME_AS (D) implies A POSSIBLY_EQUIVALENT_TO (C OR D)

(A) POSSIBLY_EQUIVALENT_TO (B OR C) and (B) REPLACED_BY (D) implies (A) POSSIBLY_EQUIVALENT_TO (C OR D)

(AIntEd) POSSIBLY_EQUIVALENT_TO (BIntEd OR CIntEd) and (BIntEd) MOVED_TO (DNRC) implies (AIntEdAIntEd) POSSIBLY_EQUIVALENT_TO (CIntEd)

(A) POSSIBLY_EQUIVALENT_TO (B OR C) and (B) POSSIBLY_EQUIVALENT_TO (D OR E) implies A POSSIBLY_EQUIVALENT_TO (C OR D OR E)

(A) POSSIBLY_EQUIVALENT_TO (B OR C) and (B) WAS_A (D AND E) implies ((A) POSSIBLY_EQUIVALENT_TO (C) OR (A) WAS_A (D AND E))

...