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