ALHAMDULILLAHPhoto
#include <iostream>
bool implication(bool p, bool q) {
return !p || q;
}
bool formula(bool x, bool y) {
return implication(x, implication(y, x));
}
int main() {
std::cout << "x\ty\tx -> (y -> x)\n";
for (bool x : {true, false}) {
for (bool y : {true, false}) {
bool result = formula(x, y);
std::cout << x << "\t" << y << "\t" << result << "\n";
}
}
return 0;
}