PanLinx
English
eng-000
full disjunctive normal form
русский
rus-000
совершенная дизъюнктивная нормальная форма
PanLex