tabela verdade em c

[blg 0]

olá, eu preciso fazer uma tabela verdade, com 3, 4 ou 5 variáveis. EX: O usuário vai digitar a expressão com 3 variáveis: ABC + A'BC' + A'B'C (A' = A negado)

 

ai pensei em fazer a tabela verdade com um if com o numero de variáveis, ou uma matriz ja atribuindo os valores .

 

if(n==3){

printf("+---+---+---+---+");

printf("| A | B | C | S |");

printf("+---+---+---+---+");

printf("| 0 | 0 | 0 | |");

printf("+---+---+---+---+");

printf("| 0 | 0 | 1 | |");

printf("+---+---+---+---+");

printf("| 0 | 1 | 0 | |");

printf("+---+---+---+---+");

printf("| 0 | 1 | 1 | |");

printf("+---+---+---+---+");

printf("| 1 | 0 | 0 | |");

printf("+---+---+---+---+");

printf("| 1 | 0 | 1 | |");

printf("+---+---+---+---+");

printf("| 1 | 1 | 0 | |");

printf("+---+---+---+---+");

printf("| 1 | 1 | 1 | |");

printf("+---+---+---+---+");

Ou uma matriz ja atribuindo os valores .

if n==3{

int mat[4][3];

mat[0][0]= A;

mat[0][1]= B;

mat[0][2]= C;

mat[0][3]= S;

mat[1][0]= 0;

mat[1][1]= 0;

mat[1][2]= 0;

mat[1][3] = ???;

mat[2][0]= 0;

mat[2][1]= 0;

mat[2][2]= 1

mat[2][3]= ???;

mat[3][0]= 0;

mat[3][1]= 1;

mat[3][2]= 0;

mat[3][3]= ???;

mat[4][0]= 0;

mat[4][1]= 1;

mat[4][2]= 1;

mat[4][3]= ???;

}

 

mas não to sabendo como fazer pra saída receber os valores 1 ou 0, dependendo da expressão digitada pelo usuário, Preciso de uma ajuda mais experiente.