Thread Message #49635

#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; }