#include <stdio.h>
int main (void) {
int x1, x2, x3, x4;
printf ("x4\tx3\tx2\tx1\t\ty\n");
for (x1 = 0; x1 <= 1; x1++) {
for (x2 = 0; x2 <= 1; x2++) {
for (x3 = 0; x3 <= 1; x3++) {
for (x4 = 0; x4 <= 1; x4++) {
printf ("%i\t%i\t%i\t%i\t\t%i\n", x4, x3, x2, x1, ((x1 || x2) && x3) || (x2 && (x3 || x4)));
}
}
}
}
return 0;
}