Is canonical SOP/POS form for a boolean expression unique?

Question

I was trying to find equivalence between two boolean expressions and thought if I convert both of them to canonical sum of product or product of sum form they should match. But I am not sure if these forms are unique for a boolean expression, are they?

Answer 1

Yes, "canonical" sum of products and canonical product of sums are unique for a boolean expression, and hence can be used for checking the equivalence of two boolean expressions.

Reference:Switching Theory for Logic Synthesis By Tsutomu Sasao