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