Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #include <iostream>
- #include <cmath>
- #include <vector>
- #include <queue>
- #include <algorithm>
- #include <string>
- #include <stack>
- #include <set>
- #include <map>
- #define pii pair <int, int>
- #define pb(x) push_back(x)
- using namespace std;
- using ll = long long;
- using ld = long double;
- using db = double;
- void cv(vector <int> &v) {
- for (auto x : v) cout << x << ' ';
- cout << "\n";
- }
- void cvl(vector <ll> &v) {
- for (auto x : v) cout << x << ' ';
- cout << "\n";
- }
- void cvv(vector <vector <int> > &v) {
- for (auto x : v) cv(x);
- cout << "\n";
- }
- void cvb(vector <bool> v) {
- for (bool x : v) cout << x << ' ';
- cout << "\n";
- }
- void cvs(vector <string> v) {
- for (auto a : v) {
- cout << a << "\n";
- }
- }
- void cvp(vector <pii> a) {
- for (auto p : a) {
- cout << p.first << ' ' << p.second << "\n";
- }
- cout << "\n";
- }
- bool imp(bool a, bool b) {
- return !a || b;
- }
- bool f(bool x, bool y, bool z, bool w) {
- bool A = imp(y, x) && (z || w);
- bool B = (x && !w) || (y == z);
- return imp(A, B);
- }
- int main() {
- ios::sync_with_stdio(0);
- cin.tie(0);
- cout.tie(0);
- vector <bool> v = {0, 1};
- for (bool x: v) for (bool y: v) for (bool z: v) for (bool w: v) {
- bool r = f(x, y, z, w);
- if (r) continue;
- cout << x << ' ' << y << ' ' << z << ' ' << w << ' ' << "\n";
- }
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement