PanLinx
Esperanto
epo-000
norma formo kaja
English
eng-000
conjunctive normal form
PanLex