- Given a truth table, it is always possible to write logic expressions for the function by taking logical OR of the minterms for which the function has a value of 1
- This representation of a function is a logical sum of minterms and called canonical sum-of-products (SOP)
- To be called canonical SOP, a logical expression must have minterms only
