Таблица истинности:
A | B | A*B | ~(A*B) | ~(A*B) + A*B
0 | 0 | _ 0 _| _ 1 __ | _ 1
0 | 1 | _ 0 _| _ 1 __ | _ 1
1 | 0 | _ 0 _| _ 1 __ | _ 1
1 | 1_ | _ 1 _| _ 0 __ | _ 1
Не обращайте внимания на подчеркивания, это для выравнивания таблицы.
Чего и следовало ожидать - логическое ИЛИ любого выражения и его же отрицания тождественно равно логической 1, то есть ИСТИННО всегда.
Дерево показано на рисунке.