Skip to end of metadata
Go to start of metadata

Current Version - Under Revision

The main reason for generating normal form expressions is to enable testing for equivalence and subsumption between different post coordinated expressions . This section describes how these processes are carried out.

The process of generating normal form for an expression also requires testing of subsumption between subsidiary elements within the expression .


Feedback