PanLinx
日本語
jpn-000
論理和標準形
English
eng-000
disjunctive normal form
PanLex