Найти все минимальные дизъюнктивные нормальные формы функции

#include <iostream>
#include<time.h>
#include <stdlib.h>
using namespace std;
void VuvidMas(unsigned int mas[12])
{
    for(int i=1;i<=12;i++)
    cout<<mas[i]<<"  ";
    cout<<endl;
    
}
void ZapolConstMas(unsigned int mas[12])
{
    unsigned int ConstMas[12]={1,2,32,6,5,8,27,54,7,12,45,5};
    
    for(int i=1;i<=12;i++)
    mas[i]=ConstMas[i];
}
void ZapolRandMas(unsigned int mas[12])
{
    srand(time(NULL));
    for(int i=1;i<=12;i++)
    mas[i]=rand()%65535;
}
void BinarSort(unsigned int mas[12],int count)
{
    unsigned int LeftMas[12],RightMas[12];
    int max,min,k,q,i;
    float OpElem;
    max=mas[1];
    min=mas[1];
    for(i=1;i<=count;i++)
    {
        if (mas[i]>max) max=mas[i];
        if (mas[i]<min) min=mas[i];
    }
    OpElem=(max+min)/2;
    k=0;q=0;
    for(i=1;i<=count;i++)
    {
        if (mas[i]>=OpElem)
        {
            k++;
            RightMas[k]=mas[i];         
        }
        if (mas[i]<OpElem)
        {
            q++;
            LeftMas[q]=mas[i];
        }       
    } 
    if (k!=count)
    {
        BinarSort(RightMas,k);
        BinarSort(LeftMas,q);
        for (i=1;i<=k;i++) mas[i]=RightMas[i];
        for (i=k+1;i<=k+q;i++) mas[i]=LeftMas[i-k];
    }
}
void BubbleSort(unsigned int mas[12],int count)
{
    int i,k,tmp;
    for(i=1;i<=count-1;i++) 
        for(k=1;k<=count-i;k++)     
            if (mas[k]<mas[k+1])
        {
            tmp=mas[k];
            mas[k]=mas[k+1];
            mas[k+1]=tmp;           
        }       
}
int menu()
{
    int choice;
    cout<<"****Ìåíþ****\n\n";
    cout<<"1. Çàäàòè ìàñèâ ÿê êîíñòàíòó.\n";
    cout<<"2. Ìàñèâ âèïàäêîâèõ ÷èñåë.\n";
    cout<<"3. Âèõiä\n";
    cout<<": ";
    cin>>choice;
    return choice;
}
int main ()
{
    setlocale(LC_ALL,"rus");
    unsigned int ConstMas[12]={1,2,32,4,5,8,6,54,7,12,45,5};//ìàñèâ êîíñòàíò
    unsigned int RandMas[12],NewConstMas[12];
    cout<<"Ñòâîðèòè i âèâåñòè îäíîâèìiðíèé ìàñèâ.\n"<<"Âèêîíàòè îáðîáêó ìàñèâó çãiäíî ç çàâäàííÿì\n"<<"Íàïðÿìîê ñîðòóâàííÿ 'Ïî çìåíøåííþ'\n"<<"Âèêîíàâ ñòóäåíò ãðóïè ïç-124, Ãëàäèøåâ Ý.Ñ. Âàðiàíò 4\n"<<endl;
    bool exit=false;
    for(;;)
    {
        int  choice = menu();
        switch(choice)
        {
            case (1):
                ZapolConstMas(NewConstMas);
                cout<<"Ìàñèâ êîíñòàíò\n";
                VuvidMas(NewConstMas);
                cout<<"Ñïîñiá ñîðòóâàíÿ\n"<<"1.Áiíàðíe\n"<<"2.Îáìiíîì\n";
                cout<<": ";
                int tmp;
                cin>>tmp;
                switch(tmp)
                {
                    case (1):
                        BinarSort(NewConstMas,12);
                        cout<<"Âiäñîðòîâàíèé ìàñèâ\n";
                        VuvidMas(NewConstMas);
                        break;
                    case (2):
                        BubbleSort(NewConstMas,12);
                        cout<<"Âiäñîðòîâàíèé ìàñèâ\n";
                        VuvidMas(NewConstMas);
                        break;
                }
                break;
            case (2):
                ZapolRandMas(RandMas);
                VuvidMas(RandMas);
                cout<<"Ñïîñiá ñîðòóâàíÿ\n"<<"1.Áiíàðíe\n"<<"2.Îáìiíîì\n";
                cout<<": ";
                cin>>tmp;
                switch(tmp)
                {
                    case (1):
                        BinarSort(RandMas,12);
                        cout<<"Âiäñîðòîâàíèé ìàñèâ\n";
                        VuvidMas(RandMas);
                        break;
                    case (2):
                        BubbleSort(RandMas,12);
                        cout<<"Âiäñîðòîâàíèé ìàñèâ\n";
                        VuvidMas(RandMas);
                        break;
                }
                break;
            case(3):
             exit=true;
              break;
                            
        }
        if (exit)
                break;
    }
return 0;
}