A canonical form is such that two expressions in canonical form are semantically equal if and only if they are syntactically equal, while a normal form is such that an expression in normal form is semantically zero only if it is syntactically zero.
Канонски облик је такав да два израза у канонском облику су семантички једнаки ако и само ако су синтактички једнаки, док је нормална форма таква да израз у нормалном облику је семантичка нула само ако је синтаксички нула.