Программы qmls.sf.net

Квин-Маккласки Логика Simplifier является утилита написана для упрощения цифровой логики. Вы кормите его каноническим десятичной список, и он делает все остальное.