В Python, как и в других языках, есть логический тип переменных bool, который имеет всего два значения: True (истина) и False (ложь). Его возвращают логические операторы (например сравнение чисел или проверка присутствия элемента в списке), и именно этот тип обычно используется в if и while.
Ну, просто. Если условие совпадает, то выполняется код, если нет, не выполняется. Просто вместо значения, идет Правда или Ложь. Это всеравно, что было бы 0 или 1.
a = True
if a:
print("True")
a = False
if a:
print("Ну ты даешь!")
else:
print("Говнокод")