Для доказательства равенства двух функций F и G используем принцип двойственности:

Заметим, что операция ⊕ является операцией XOR (исключающее ИЛИ), а операция ∨ - операцией ИЛИ.

По закону де Моргана имеем:
x⊕(y∨z) = (x⊕y)∧(x⊕z)

Применим закон двойственности:
(x⊕y)∨(x⊕z) = F

Таким образом, мы показали, что равенство двух функций F и G действительно справедливо.