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