Построить таблицу истинности по формуле

#include <iostream>  
 
using namespace std;
int dis(int x, int y)
{
    if (x + y == 0)
        return 0;
    else
        return 1;
}
int kon(int x, int y)
{
    if (x*y == 1)
        return 1;
    else
        return 0;
}
int ekv(int x, int y)
{
    if (x == y)
        return 1;
    else
        return 0;
}
int imp(int x, int y)
{
    if (x == 1 && y == 0)
        return 0;
    else
        return 1;
}
int otr(int x)
{
    return !x;
}
int function(int x, int y, char* formula, int counter)
{
    switch (formula[counter])
    {
    case '~': return ekv(x, y);
    case '^': return kon(x, y);
    case 'v': return dis(x, y);
    case '>': return imp(x, y);
    }
}
 
void BIN(int a){
 
    char binary[4]; 
 
    for (int i = 3; i >= 0; i--){       
        if (a % 2 == 0){ binary[i] = '0'; }
        else{ binary[i] = '1'; }
        a = a / 2;
    }
 
    for (int i = 0; i<4; i++){            //Печатаем массив
        cout << binary[i] << "   ";
    }
    cout << endl;
}
 
 
int main()  
{
    char mass[4];
    cout << "x^4 x^2 x^1 x^0 y" << endl;
 
    for (int i = 0; i<2 * 2 * 2 * 2; i++){
        BIN(i);
    }
 
    system("PAUSE");
    return 0;
}

#include "iostream"
 
using namespace std;
 
int main()
{
    cout << "A B C F" << endl;
    for (int i = 0; i < 2; i++)
        for (int j = 0; j < 2; j++)
            for (int k = 0; k < 2; k++)
                cout << i << " " << j << " " << k << " " << (i && (!j && !k)) << endl;
    system("pause");
    return 0;
}