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