PanLinx
English
eng-000
Boolean notation
русский
rus-000
булева система обозначений
PanLex