PanLinx
русский
rus-000
булево уравнение
English
eng-000
Boolean equation
PanLex