Vocabulary

正準形式

canonical format

noun