The necessary normal form expression represents the inferred view of an expression including all the relationships that are necessarily true, with redundancy removed. It is created from the output of the process of classifying the classifiable form expression with a predefined version of SNOMED CT.
The necessary normal form expression represents the relationships used for querying and data analytics over the expression.
It includes refinements that represent inferred relationships
It does not include any redundant refinements or redundant relationship groups
NNF expression