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