Питон "elif" скомпилирован не так, как в другом: если?

Если вы действительно хотите узнать, что происходит за кулисами в интерпретаторе, вы можете использовать модуль dis. В таком случае:

>>> def f1():
...   if a:
...     b = 1
...   elif aa:
...     b = 2
... 
>>> def f2():
...   if a:
...     b = 1
...   else:
...     if aa:
...       b = 2
... 
>>> dis.dis(f1)
  2           0 LOAD_GLOBAL              0 (a)
              3 POP_JUMP_IF_FALSE       15

  3           6 LOAD_CONST               1 (1)
              9 STORE_FAST               0 (b)
             12 JUMP_FORWARD            15 (to 30)

  4     >>   15 LOAD_GLOBAL              1 (aa)
             18 POP_JUMP_IF_FALSE       30

  5          21 LOAD_CONST               2 (2)
             24 STORE_FAST               0 (b)
             27 JUMP_FORWARD             0 (to 30)
        >>   30 LOAD_CONST               0 (None)
             33 RETURN_VALUE        
>>> dis.dis(f2)
  2           0 LOAD_GLOBAL              0 (a)
              3 POP_JUMP_IF_FALSE       15

  3           6 LOAD_CONST               1 (1)
              9 STORE_FAST               0 (b)
             12 JUMP_FORWARD            15 (to 30)

  5     >>   15 LOAD_GLOBAL              1 (aa)
             18 POP_JUMP_IF_FALSE       30

  6          21 LOAD_CONST               2 (2)
             24 STORE_FAST               0 (b)
             27 JUMP_FORWARD             0 (to 30)
        >>   30 LOAD_CONST               0 (None)
             33 RETURN_VALUE        

Похоже, что наши две функции используют один и тот же байт-код - так что, очевидно, они эквивалентны.

Осторожно, байт-код - это деталь реализации CPython. Нельзя сказать, что все реализации Python делают одно и то же за кулисами. Все, что имеет значение, - это то, что они ведут себя одинаково. Работая с логикой, вы можете убедить себя, что f1 и f2 должны делать одно и то же независимо от того, рассматривает ли базовая реализация это как «синтетический сахар» или происходит что-то более сложное.