PanLinx
русский
rus-000
неприводимая импликанта
English
eng-000
irredundant implicant
PanLex