Алгоритм нахождения сокращенной днф и кнф - C#

List<string> dnf=new List<string>();             
List<string> k = new List<string>();
for(int i=0; i<m;i++)
{           
     k = new List<string>();
     if(func[i]==1)
     {               
           for(int j=0; j<n;j++)
           {
                 k.Add((mas[i, j] == 0? "!X" : "X")+(j+1).ToString());
           }
     }
     if(k.Count>0)  dnf.Add("("+string.Join("&", k)+")");
}
Console.WriteLine(string.Join("|", dnf));