Professional Documents
Culture Documents
int main()
{
bool x = 0;
bool y = 0;
bool z = 0;
std::cout << "(x && !y) || !((x && !z) || (!z && x))" << std::endl;
std::cout << "(" << x << " && !" << y << ") || !((" << x << " && !" << z << ")
|| (!" << z << " && " << x << ")) = "
<< ((x && !y) || !((x && !z) || (!z && x))) << std::endl;
x = 0;
y = 0;
z = 1;
std::cout << "(" << x << " && !" << y << ") || !((" << x << " && !" << z << ")
|| (!" << z << " && " << x << ")) = "
<< ((x && !y) || !((x && !z) || (!z && x))) << std::endl;
x = 0;
y = 1;
z = 0;
std::cout << "(" << x << " && !" << y << ") || !((" << x << " && !" << z << ")
|| (!" << z << " && " << x << ")) = "
<< ((x && !y) || !((x && !z) || (!z && x))) << std::endl;
x = 0;
y = 1;
z = 1;
std::cout << "(" << x << " && !" << y << ") || !((" << x << " && !" << z << ")
|| (!" << z << " && " << x << ")) = "
<< ((x && !y) || !((x && !z) || (!z && x))) << std::endl;
x = 1;
y = 0;
z = 0;
std::cout << "(" << x << " && !" << y << ") || !((" << x << " && !" << z << ")
|| (!" << z << " && " << x << ")) = "
<< ((x && !y) || !((x && !z) || (!z && x))) << std::endl;
x = 1;
y = 0;
z = 1;
std::cout << "(" << x << " && !" << y << ") || !((" << x << " && !" << z << ")
|| (!" << z << " && " << x << ")) = "
<< ((x && !y) || !((x && !z) || (!z && x))) << std::endl;
x = 1;
y = 1;
z = 0;
std::cout << "(" << x << " && !" << y << ") || !((" << x << " && !" << z << ")
|| (!" << z << " && " << x << ")) = "
<< ((x && !y) || !((x && !z) || (!z && x))) << std::endl;
x = 1;
y = 1;
z = 1;
std::cout << "(" << x << " && !" << y << ") || !((" << x << " && !" << z << ")
|| (!" << z << " && " << x << ")) = "
<< ((x && !y) || !((x && !z) || (!z && x))) << std::endl;