PanLinx
普通话
cmn-000
时序质隐含式
English
eng-000
sequential prime implicant form
PanLex