Skip to content
On this page

3-B2. De Morgan's laws

bool型の値PQが与えられるので、ド・モルガンの法則が成り立つことを実際に確かめよう。

ド・モルガンの法則

Hint

考えられるの組は以下の4つ

(P,Q)P = falseP = true
Q = false(false, false)(true, false)
Q = true(false, true)(true, true)
Answer
cpp
#include <iostream>
using namespace std;

int main() {
    string p_string, q_string;
    cin >> p_string >> q_string;
    bool p = p_string == "true";
    bool q = q_string == "true";
    if (!(p && q) == (!p || !q)) {
        cout << "case 1: ok" << endl;
    }
    if (!(p || q) == (!p && !q)) {
        cout << "case 2: ok" << endl;
    }
}