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

       
//булева ф-ция. наугад написал
 private static void f(BitArray a)
        {
            foreach (bool v in a)
            {
                Console.Write(v?1:0);
            }
            Console.WriteLine(" {0}", a[0]&&(a[1]||a[2])&&a[3] || a[0]);
        }
static void Main(string[] args)
        {
            int N = 4;
            BitArray bitarray = new BitArray(N);
            bool c1, c2;c1=c2 = false;
            for (int i = 0; i < Math.Pow(2, N); i++)
            {
                f(new BitArray(new[] {i}));
                c1 = bitarray[bitarray.Length - 1] & true;
                bitarray[bitarray.Length - 1] = bitarray[bitarray.Length - 1] ^ true;
                for (int r = bitarray.Length - 2; r >= 0; r--)
                {
                    c2 = bitarray[r] & c1;
                    bitarray[r] = bitarray[r] ^ c1;
                    c1 = c2;
                }
            }
}

 
Console.WriteLine(" Совершенная ДНФ: \n");
            for(int i=0; i<m;i++)
            {
                for(int j=0; j<n;j++)
                {
                    if(func[i]==1)
                    {
                        if (mas[i, j] == 0)
                            Console.Write(" |X[" + (j+1)+ "]");
                        if (mas[i, j] == 1)
                            Console.Write("*X[" + (j + 1) + "]"); 
                    }
                }
                Console.Write(" ");
            }

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));