#include
#include
#include
#include
#include
#define MAX_LINE 256
using namespace std;
vecto
ool> column;
vecto
string> formula_vector;
vecto
string> variables;
vecto
vecto
ool> > rows;
vecto
ool>null_vector;
int num_variables = 0;
bool findCharString (string myString, string toFindChar);
int findVariable (string variable);
int findClosingParent (int start );
vecto
ool> compute (string operation, vecto
ool>v1, vecto
ool> v2);
int findVariable (string variable)
{
for(int i = 0; i < num_variables ; i++)
{
if (variable.compare(variables[i]) == 0)
return i;
}
}
bool findCharString (string myString, string toFindChar)
{
size_t found;
found = myString.find_first_of(toFindChar);
if (found == string::npos)
return false;
else
return true;
}
int findClosingParent (int start )
{
int open = 0;
int close_p = 0;
int counter = start;
while (counte
formula_vector.size())
{
if (formula_vector[counter].compare(")") == 0)
close_p++;
else if (formula_vector[counter].compare("(") == 0)
open++;
if (open == close_p)
return counter;
counter++;
}
}
void createTruthTables_2(int number_variables)
{
int num_2_fill = 0;
rows.resize(number_variables);
column. resize (pow(2.0,number_variables));
rows.assign(number_variables,column);
for (int i=0; i
num_2_fill = pow(2.0, (number_variables -1)-i);
for (int j = 0; j
for (int k = j; k
rows[i][k] = true;
}
}
for(int i=0;i
ows.size(); i++) {
cout
variables[i]
": ";
for (int j=0;j
ows[i].size(); j++)
cout
ows[i][j]
" ";
cout
endl;
}
}
vecto
ool>...