PanLinx
русский
rus-000
импликативная нормальная форма
English
eng-000
implicative normal form
PanLex