Условие if выполняется, если проверяемое выражение имеет значение True.
На картинке первое условие not True, т.е. отрицание True. Отрицание True - это False. Поэтому условие не выполняется.
Второе условие not (1 + 1 == 3). В скобках получаем (2 == 3), результат False, т.к. выражение 2 равно 3 ложно. После подсчета скобок итоговое выражение выглядит так: not False. Отрицание False - это True. Поэтому условие срабатывает.
print("3") не будет выполнено, потому что второе условие истинно. Ветка "иначе" (else) выполняется, только если первые if и elif не будут выполнены.