['Every PDNF or PCNF corresponds to a unique Boolean Expression and vice versa.', 'If X and Y are two Boolean expressions then, X is equivalent to Y if and only if PDNF(X) = PDNF(Y) or PCNF(X) = PCNF(Y).']