По блок-схеме Определите значение начальное значение N равно

10(10) =2^3+2^1=1010(2)
15(10) = 2^3+2^2+2^1+2^0=8+4+2+1=1111(2)
1010(2) в обратном коде - изменяете 0 на 1, 1 на 0  -> 11110101(2) - обратный код
дополнительный код - это к обратному добавить 1  -> 11110110(2) - дополнительный код
отрицательные числа хранятся в дополнительном коде
15(10) = 1111(2),  обратный код к 1111(2) будет  11110000(2),  дополнительный - 11110001(2)
-15(10) = 11110001(2), дополнительный код к -15(10) будет само число 15
обратный к  -15(2)  ->  00001110(2) ,  добавляем 1  ->  00001110(2) +1 = 00001111(2) = 15(10)

Для удобства построения таблицы истинности введем логические переменные.

Обозначим 2*2=4 через a, 3*3=9 - через b.

Тогда высказывание примет вид:

Для этого выражения и построим таблицу истинности.

2. Для доказательства равносильности указанных выражений можно построить таблицы истинности и сравнить их.

Как видно, НЕСОВПАДЕНИЕ полное, т.е. ни при каком сочетании a и b выражения не равносильны. Это подтверждается  теорией - имеются законы де-Моргана, в которых еще присутствует общее отрицание или в правой. или в левой части.

Объяснение: