PanLinx
русский
rus-000
функция отрицания дизъюнкции
English
eng-000
Peirce function
PanLex