Find an assignment to the boolean variables w,x,y,z that satisfies the following boolean formula: x AND (w OR y) AND (NOT w OR NOT z) AND (NOT y or z) #include #include "mystery_formula.h" using std::cout, std::endl; int main() { bool w; // initialize this value bool x; // initialize this value bool y; // initialize this value bool z; // initialize this value // if w,x,y,z are set correctly, // SATISFIED will be printed to the output f(w, x, y, z); }