public void AddMinterm(string input_pattern, string result)
 {
     TruthTable.Add(input_pattern, result);
     IsMinimized = false;
 }