PanLinx
普通话
cmn-000
布尔函数的最小化
English
eng-000
minimization of Boolean function
PanLex