PanLinx
English
eng-000
direct implicant
русский
rus-000
прямая импликанта
PanLex