PanLinx
English
eng-000
conjunctive logic transform
русский
rus-000
конъюнктивное логическое преобразование
русский
rus-000
преобразование к КНФ
PanLex