Подскажите логику минимизации карт Карно

//1 и 0 = -
//0 и - = 0
//1 и - = - 
#include <iostream>
#include <vector>
#include <algorithm>
#include <iterator>
#define capacity 3 //количество знаков в терме
#define SIZE_BEGIN 3 //количество термов
typedef std::vector<int> container_type;//обёртка - один терм
 
void print(std::vector<container_type> term,int SIZE)
{
   
 for (int i = 0; i < SIZE; ++i)
    {
        for (int j = 0; j < capacity; ++j)
        {
            std::cout << term[i][j] << ' ';
        }
       
        std::cout << std::endl;
    }   
        std::cout << std::endl;
    
}
 
int perebor (  std::vector<container_type> term,int &SIZE) //функция получа  нобор термов(векторов) состоящих из чисел(int) 
//1=большая буква терма, 0=маленькая буква терма, -1=отсутствие буквы
{
    int result=0;//количество сокращений
    SIZE--;//уменьшаем для цикла так как допусти между тремя термами можно произвести две операции
    std::vector< std::vector< int > > ::iterator iter;
    //temp - отвечает за каличество различий между двумя термами    nomer - номер терма
    for (int nomer=0,temp=0;nomer<SIZE;nomer++,temp=0,iter=term.begin())
    {
        for (int i=0;i<capacity;i++)//ищём количество различий между термами
        {
            if(term[nomer][i] !=term[nomer+1][i])
                temp++;
        }
        if(temp>1)// если сократить нельяз то continue
        {
            continue;
        }
        else
        {
            for (int i=0;i<capacity;i++)//проход по всем символам терма
            // в любой ситуации обновляется терм с индекос -nomer
            // терм с индекос nomer+1 удаляется
            {
                
                if(  ((term[nomer][i]==0) && (term[nomer+1][i]==1)) || ((term[nomer][i]==1) && (term[nomer+1][i]==0)) )    
                    {
                        term[nomer][i]=-1;
                        break;
                    }
               
               
                if(  ((term[nomer][i]==-1) && (term[nomer+1][i]==1)) || ((term[nomer][i]==1) && (term[nomer+1][i]==-1)) )    
                    {
                        term[nomer][i]=-1;
                        break;    
                    }
                
                    
             }
             iter+=nomer +1;
             term.erase(iter);//удаляем term[nomer+1], обновления мы всегда записываем в term[nomer]
             SIZE--;//колво термов уменьшилось
             nomer--;//естественно рас обновления записываются в первый терм,
             // то мы его должны сравнить с третьим термом(который стал вторым)
             print( term, SIZE+1);//возращаем SIZE его размер
             result++;
        }
        
        
 
    }
  
    
 
         
return result;    
}
 
 
 
 
 
 
int main()
{
   
   int SIZE=SIZE_BEGIN;
   int array[SIZE_BEGIN][capacity]={ {1,1,0} , {1,1,1}, {1,-1,-1}};
   std::vector<container_type> vec(SIZE,std::vector< int > (capacity));
   
   std::vector<container_type>::iterator iter = vec.begin();
  
   for (int i = 0; i < SIZE; ++i)
        for (int i2 = 0; i2 < capacity; ++i2)
             iter[i][i2]=array[i][i2];
    
     
 
 
 
    
    while(perebor(vec,SIZE));
   
  
 
 
 
    
   
    system("PAUSE");
    return EXIT_SUCCESS;
}