Мой ответ похож на ответ Дэйва Твида, и это означает, что я перевел его на более официальный уровень. Я, очевидно, ответил позже, но я все же решил опубликовать его, так как кто-то может найти этот подход интересным.
Отношение, которое вы пытаетесь доказать, не зависит от структуры функции f поскольку фактически является тавтологией . Чтобы объяснить, что я имею в виду, я предлагаю демонстрацию общего правильно сформированного булева выражения P в произвольном числе булевых переменных, скажем, n∈N , y1,…,yn , где yi∈{0,1} для всех i=1,…,n .
У нас есть что P(y1,…,yn)∈{0,1} и рассмотрим два следующих набора булевых значений дляn мерного булева вектора(y1,…,yn)
YY¯={(y1,…,yn)∈{0,1}n|P(y1,…,yn)=1}={(y1,…,yn)∈{0,1}n|P(y1,…,yn)=0}
Y∪Y¯={0,1}nY∩Y¯=∅P(y1,…,yn)P′(y1,…,yn)={01if (y1,…,yn)∈Y¯if (y1,…,yn)∈Y⇕={10if (y1,…,yn)∈Y¯if (y1,…,yn)∈Y
therefore we always have
P+P′=1∀(y1,…,yn)∈{0,1}n