Алгоритм работы с матрицей для таблицы истинности

#include <iostream>
 
using namespace std;
 
int main()
{
    int i, k1, k2, j, n, ** matr;
 
    cout << "n=?" << endl;
    cin >> n;
    cout << "m=n^2" << endl;
    int m = pow(2, n);
    int s = m / 2;
    cout << "n=" << n << endl << "m=" << m << endl;
 
    matr = new int* [m];
    for (i = 0; i < m; i++)
        matr[i] = new int[n + 1];
 
 
    for (i = 0; i < m; i++)
    {
        for (j = 0; j < n + 1; j++)
        {
         matr[i][j]=-1;
        }
    }
    k2 = 1;
 
    for (j = n-1; j >= 0; j--)
    {
        for (i = 0; i < m; i++)
        {
            for (k1 = 0; k1 < k2; k1++)
            {
                if (i < s)
                {
                    matr[i][j] = 1;
                }
                else
                {
                    matr[i][j] = 0;
                }
            }
            k2 = k2 * 2;
        }
        s = s / 2;
    }
 
    for (i = 0; i < m; i++)
    {
        for (j = n; j < n + 1; j++)
        {
            cin >> matr[i][j];
        }
    }
 
    cout << "matrix";
    for (i = 0; i < m; i++)
    {
        cout << endl;
        for (j = 0; j < n; j++)
        {
            cout << matr[i][j] <<" ";
        }
    }
 
 
    return 0;
}

#include <iostream>
#include <functional>
 
int main()
{
    size_t m, n;    //rows, columns
    std::cin >> n;
    m = int(pow(2, n));
    int* matrix = new int[m * n]; //2D
 
    int* mIt = matrix;
    int* tmpArr = new int[n];
    std::function<void(size_t)> mFill_func = [&](size_t k) {
        if (k) for (uint8_t i(0); i != 2; ++i) *(tmpArr + n - k) = i, mFill_func(k - 1);
        else std::copy(tmpArr, tmpArr + n, mIt), mIt += n;
    };
    mFill_func(n);
 
    for (size_t i(0); i != m; ++i) {
        for (size_t j(0); j != n; ++j)
            std::cout << *(matrix + i * n + j) << ' ';
        std::cout << '\n';
    }
 
    delete[] tmpArr;
    delete[] matrix;
    return 0;
}