PanLinx: conjunctive logic transform

English	eng-000
conjunctive logic transform

русский	rus-000	конъюнктивное логическое преобразование
русский	rus-000	преобразование к КНФ

PanLex-PanLinx