dem22.n2

/******************************************************************************

                              Online C++ Compiler.
               Code, Compile, Run and Debug C++ program online.
Write your code in this editor and press "Run" button to compile and execute it.

*******************************************************************************/

#include <iostream>
#include <vector>
using namespace std;

bool imp(bool a, bool b) {
    return !a || b;
}

bool f(bool x, bool y, bool z, bool w) {
    bool A = (x == w);
    A = imp(y, A);
    A = !A;
    bool B = imp(z,x);
    return A && B;
}

int main()
{
    vector <bool> v = {0,1};
    for (bool x: v) {
        for (bool y: v) {
            for (bool z: v) {
                for (bool w: v) {
                    bool F = f(x,y,z,w);
                    if (F) {
                        cout << x << ' ' << y << ' ' << z << ' ' << w << "\n";
                    }
                }

            }
        }
    }
}