PanLinx
русский
rus-000
табличная сводимость
English
eng-000
truth-table reducedness
PanLex