Логический оператор
and возвращает первый операнд, если он ложен (в контексте булевой логики), или второй операнд, если первый истиненВ данном случае, поскольку
var1 (который равен 1) является истинным значением (любое ненулевое число в Python считается истинным), результатом выражения var1 and var2 будет значение var2, которое равно 2