Для доказательства равенства двух функций F и G используем принцип двойственности:
Заметим, что операция ⊕ является операцией XOR (исключающее ИЛИ), а операция ∨ - операцией ИЛИ.
По закону де Моргана имеем:x⊕(y∨z) = (x⊕y)∧(x⊕z)
Применим закон двойственности:(x⊕y)∨(x⊕z) = F
Таким образом, мы показали, что равенство двух функций F и G действительно справедливо.
Для доказательства равенства двух функций F и G используем принцип двойственности:
Заметим, что операция ⊕ является операцией XOR (исключающее ИЛИ), а операция ∨ - операцией ИЛИ.
По закону де Моргана имеем:
x⊕(y∨z) = (x⊕y)∧(x⊕z)
Применим закон двойственности:
(x⊕y)∨(x⊕z) = F
Таким образом, мы показали, что равенство двух функций F и G действительно справедливо.