PanLinx
Esperanto
epo-000
norma formo aŭa
English
eng-000
disjunctive normal form
PanLex