PanLinx
English
eng-000
normal disjunctive form
普通话
cmn-000
标准的逻辑加法形式
русский
rus-000
нормальная дизъюнктивная форма
PanLex
